ReactorJet/step_proofs
Viewer • Updated • 5.52k • 20
Tim Lai PRO
ReactorJet
AI & ML interests
None yet
Organizations
None yet
models 0
None public yet
datasets 10
ReactorJet/proofwriter-dataset
Viewer • Updated • 59.2k • 19
ReactorJet/proofs3
Viewer • Updated • 2.63k • 215
ReactorJet/step_proofs2
Viewer • Updated • 17.6k • 52
ReactorJet/coq-facts-props-proofs-gen0-v1
Viewer • Updated • 270k • 44
ReactorJet/prooflang
Updated • 37
ReactorJet/Nemotron-Math-Proofs-v1
Viewer • Updated • 927k • 78
ReactorJet/Coq-Iris
Viewer • Updated • 10.2k • 74
ReactorJet/Coq-Stdlib
Viewer • Updated • 2.36k • 26
ReactorJet/proofwriter-deduction-balanced
Viewer • Updated • 720 • 56