fixed-point-reasoners
/

fprm

Model card Files Files and versions

fprm / arc2

Commit History

update arc2 README: H/L cycles 0/0, drop train_state note

f2aa27b
verified

nevera commited on 11 days ago

add arc2 README

ff19ad4
verified

nevera commited on 11 days ago

add arc2 fptrm singlez checkpoints

8af7309
verified

nevera commited on 11 days ago