zeweizhang
/

ImitSAT

imitation-learning

boolean-satisfiability

branching-policy

decision-sequence

Model card Files Files and versions

Commit History

Update pipeline tag and improve model description

342c526
verified

nielsr HF Staff commited on Feb 24

Update README.md

beb179c
verified

zeweizhang commited on Oct 3, 2025

Update README.md

a4a8eb9
verified

zeweizhang commited on Oct 3, 2025

Update README.md

41583ad
verified

zeweizhang commited on Oct 2, 2025

Update README.md

f09c689
verified

zeweizhang commited on Oct 2, 2025

Upload ImitSAT checkpoint.

f410a52
verified

zeweizhang commited on Oct 2, 2025

initial commit

44f6307
verified

zeweizhang commited on Oct 2, 2025