ReactorJet/step_proofs
Viewer • Updated • 5.52k • 25
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 • 20
ReactorJet/proofs3
Viewer • Updated • 2.63k • 19
ReactorJet/step_proofs2
Viewer • Updated • 17.6k • 22
ReactorJet/coq-facts-props-proofs-gen0-v1
Viewer • Updated • 270k • 24
ReactorJet/prooflang
Updated • 17
ReactorJet/Nemotron-Math-Proofs-v1
Viewer • Updated • 927k • 24
ReactorJet/Coq-Iris
Viewer • Updated • 10.2k • 18
ReactorJet/Coq-Stdlib
Viewer • Updated • 2.36k • 20
ReactorJet/proofwriter-deduction-balanced
Viewer • Updated • 720 • 23