Xuenan Cao

FKEA propose une nouvelle façon d'évaluer les modèles génératifs sans avoir besoin de jeux de données de référence.

Utiliser l'IA pour rédiger des preuves formelles pour des problèmes de maths difficiles révèle de nouvelles pistes.