TheoremQA
TheoremQA est un benchmark de question-réponse conçu par Wenhu Chen et al. pour évaluer la capacité des modèles d’IA à mobiliser des théorèmes scientifiques et mathématiques dans des problèmes de niveau universitaire. Il porte sur des questions ouvertes à réponse courte, souvent…