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 reasoning as an evolving heterogeneous graph where nodes (conditions, theorems, conclusions) and edges (logical dependencies) enable dynamic theorem selection and iterative conclusion generation. Improved results on QA benchmarks.

Summary generated by Claude — human-verified