ReactorJet/step_proofs
Viewer • Updated • 5.52k • 26
Tim Lai PRO
ReactorJet
AI & ML interests
None yet
Organizations
None yet
ReactorJet/proofwriter-dataset
Viewer • Updated • 59.2k • 21
ReactorJet/proofs3
Viewer • Updated • 2.63k • 174
ReactorJet/step_proofs2
Viewer • Updated • 17.6k • 44
ReactorJet/coq-facts-props-proofs-gen0-v1
Viewer • Updated • 270k • 29
ReactorJet/prooflang
Updated • 31
ReactorJet/Nemotron-Math-Proofs-v1
Viewer • Updated • 927k • 25
ReactorJet/Coq-Iris
Viewer • Updated • 10.2k • 32
ReactorJet/Coq-Stdlib
Viewer • Updated • 2.36k • 28
ReactorJet/proofwriter-deduction-balanced
Viewer • Updated • 720 • 59