zeweizhang
/

ImitSAT

Text Generation

imitation-learning

boolean-satisfiability

branching-policy

decision-sequence

Model card Files Files and versions

ImitSAT / .gitattributes

Commit History

initial commit

44f6307
verified

zeweizhang commited on 21 days ago