GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning

En 3 lignesGraphMind intègre GNN et LLM pour le raisonnement multi-étapes en mathématiques. Le framework modélise le processus de preuve comme un graphe hétérogène évolutif où nœuds (conditions, théorèmes, conclusions) et arêtes (dépendances logiques) permettent la sélection contextuelle de théorèmes et la génération itérative de conclusions. Résultats améliorés sur benchmarks QA.

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