Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2512.09443
Cited By
v1
v2 (latest)
Advancing Mathematical Research via Human-AI Interactive Theorem Proving
10 December 2025
Chenyi Li
Zhijian Lai
Dong An
Jiang Hu
Zaiwen Wen
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Github (3★)
Papers citing
"Advancing Mathematical Research via Human-AI Interactive Theorem Proving"
0 / 0 papers shown
Title
No papers found
