RECHERCHE
FormalAnalyticGeo : IA multimodale pour géométrie analytique
Un cadre neuro-symbolique génère automatiquement des problèmes et des diagrammes de géométrie analytique vérifiés.
arXiv cs.AI · cs.LG · cs.CL·Ruoran Xu, Wending Gao, Qiufeng Wang·14 juillet 2026
Image · Source originale
FormalAnalyticGeo est un framework automatisant la création de problèmes de géométrie analytique multimodaux via un langage de description formel (CDL) et un moteur SDF. Il combine quatre LLM spécialisés pour générer, formaliser, mesurer et vérifier des données, produisant le dataset AnalyticGeo7K sans annotation humaine.
Chaleur 7
Pertinence 60
Nouveauté 75