works on
AI-assisted discovery 1applied mathematics 1automated theorem proving 1knowledge retrieval 1mathematical conjecture generation 1mechanism-centered reasoning 1multi-agent systems 1reasoning agents 1scientific discovery 1theorem proving 1

From the 2 of 10 linked papers with an AI index.

collaborators
Showing cs.HCShow all

1 paper · 1 filter

cs.HC2025

Advancing Mathematical Research via Human-AI Interactive Theorem Proving

Chenyi Li, Zhijian Lai, Dong An +2

We investigate how large language models can be used as research tools in scientific computing while preserving mathematical rigor. We propose a human-in-the-loop workflow for inte…