Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2512.10317
Cited By
v1
v2 (latest)
Translating Informal Proofs into Formal Proofs Using a Chain of States
11 December 2025
Ziyu Wang
Bowen Yang
Chenyi Li
Yuan Zhang
Shihao Zhou
Bin Dong
Zaiwen Wen
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Github (101★)
Papers citing
"Translating Informal Proofs into Formal Proofs Using a Chain of States"
0 / 0 papers shown
Title
No papers found
