Mengping Zhang

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Reasoning & Chain-of-Thought (1)Tool Use & Agents (1)

Frequent co-authors

Junjie Zhang (1)Jia-Yin Liu (1)Wenbin Liu (1)Zhenya Huang (1)

Papers (1)

Jul 16, 2026

Junjie Zhang +14Jul 16, 2026

MathCoPilot: An Interactive System for Human-AI Symbiotic Paradigm of Mathematical Research

Current LLMs can tackle basic proofs, but MathCoPilot reveals their limitations when faced with advanced theorems requiring true mathematical understanding.

Junjie Zhang, Jia-Yin Liu, Wenbin Liu +12

Reasoning & Chain-of-Thought Tool Use & Agents

Search

Mengping Zhang

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)