Leanabell-Prover: Posttraining Scaling in Formal Reasoning
Paper
•
2504.06122
•
Published
•
6
jxg
jixingguang
AI & ML interests
None yet
Recent Activity
authored
a paper
26 days ago
Leanabell-Prover: Posttraining Scaling in Formal Reasoning
Organizations
None yet
jixingguang's activity
authored
a
paper
26 days ago