BiNSGPS: Geometry Problem Solving via Bidirectional Neuro-Symbolic Interaction

En 3 lignesBiNSGPS propose une interaction bidirectionnelle entre un modèle multimodal (MLLM) et un solveur symbolique pour résoudre des problèmes de géométrie. Le système corrige dynamiquement les représentations formelles incohérentes et génère des hypothèses auxiliaires basées sur les retours du solveur, éliminant les erreurs précoces des approches unidirectionnelles.

Résumé généré par Claude — vérifié par l'humain