xl-zhao/formal_proof_generator_v1_iter3
8B
•
Updated
•
3
SubgoalXL
-
-
xl-zhao/formal_proof_generator_v2_iter3
8B • Updated • 1 -
xl-zhao/formal_proof_generator_v3_iter3
8B • Updated • 3 • 1 -
xl-zhao/formal_proof_generator_v4_iter3
8B • Updated • 2 -
xl-zhao/formal_proof_v1_iter3
Viewer • Updated • 200k • 9 -
xl-zhao/formal_proof_v2_iter3
Viewer • Updated • 77.6k • 2 -
xl-zhao/formal_proof_v3_iter3
Viewer • Updated • 200k • 2 -
xl-zhao/formal_proof_v4_iter3
Viewer • Updated • 77.5k • 8 • 1