Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2402.17032
Cited By
REFACTOR: Learning to Extract Theorems from Proofs
26 February 2024
Jin Peng Zhou
Yuhuai Wu
Qiyang Li
Roger C. Grosse
AIMat
Re-assign community
ArXiv
PDF
HTML
Papers citing
"REFACTOR: Learning to Extract Theorems from Proofs"
1 / 1 papers shown
Title
APE-Bench I: Towards File-level Automated Proof Engineering of Formal Math Libraries
Huajian Xin
Luming Li
Xiaoran Jin
Jacques Fleuriot
Wenda Li
AIMat
48
0
0
27 Apr 2025
1
