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

In three linesGraphMind combines GNN and LLM for multi-step mathematical reasoning. The framework models the proof process as an evolving heterogeneous graph where nodes (conditions, theorems, conclusions) and edges (logical dependencies) enable context-aware theorem selection and iterative conclusion generation. Improved results on QA benchmarks.

Summary generated by Claude — human-verified