GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning
DGX agentarXiv:2511.19078v2 Announce Type: replace-cross Abstract: Large language models (LLMs) have demonstrated impressive capabilities in natural language understanding and generation, including multi-step