Socratic-Geo: Synthetic Data Generation and Cross-Modal Geometric Reasoning via Multi-Agent Interaction
Zhengbo Jiao, Zifan Zhang, Shaobo Wang et al.
· 0 citations
3 papers indexed here
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Preprint
Jul 2026
RetroAgent: Harnessing LLMs to Search Over Structured Memory for Agentic Retrosynthesis Planning
RetroAgent is introduced, an LLM agent that bridges symbolic search and neural reasoning through a harness with structured memory, enabling informed decisions grounded in both global progress and domain knowledge in multi-step retrosynthesis planning.
Yanqiao Zhu, Jingru Gan, Xiaoqi Sun et al.
· 1 citation
Review
Jul 2026
From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier
It is argued that the next leap in AI4Math systems requires a decisive shift from predefined problem-solvers to research agents that can address frontier mathematical challenges with rigorous formal mathematical reasoning, highlighting core limitations of existing systems in serving as mathematical research agents.
E. Jiang, Xiao Liang, Yikai Zhang et al.
· 1 citation