fixed-point-reasoners
/

fprm

Model card Files Files and versions

Commit History

update maze README: H/L cycles 0/0

0f20ef7
verified

nevera commited on Jun 22

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

f2aa27b
verified

nevera commited on Jun 22

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

39cbf54
verified

nevera commited on Jun 22

add arc1/arc2 to main README

73bf95a
verified

nevera commited on Jun 22

add arc2 README

ff19ad4
verified

nevera commited on Jun 22

add arc1 README

703e2c2
verified

nevera commited on Jun 22

add arc2 fptrm singlez checkpoints

8af7309
verified

nevera commited on Jun 22

add arc1 fptrm singlez checkpoints

15457bb
verified

nevera commited on Jun 22

Fix sudoku folder link (sudoku-singlez-pnone -> sudoku)

04c0e06
verified

sajad-movahedi commited on Jun 22

Document maze + sudoku FPRM models

f44bbdb
verified

sajad-movahedi commited on Jun 22

Add maze model card, reproduction scripts, eval-result JSONs

a53215e
verified

sajad-movahedi commited on Jun 22

Add Maze-Hard 87% FPTRM run (checkpoints, config, model source)

668cfb7
verified

sajad-movahedi commited on Jun 22

Rename sudoku-singlez-pnone -> sudoku

137a25c
verified

sajad-movahedi commited on Jun 22

Upload folder using huggingface_hub

6e87127
verified

sajad-movahedi commited on Jun 22

Upload folder using huggingface_hub

e4a5bac
verified

sajad-movahedi commited on Jun 22

initial commit

8ad9996
verified

sajad-movahedi commited on Jun 22