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

Junjie Zhang, Jiayu Liu, Wenbin Liu +11

Existing LLM-based theorem provers have achieved impressive results on formal mathematics benchmarks, yet they remain confined to acting as autonomous agents that prove a stated pr…