zeweizhang
/

ImitSAT

Text Generation

imitation-learning

boolean-satisfiability

branching-policy

decision-sequence

Model card Files Files and versions

668 MB

1 contributor

History: 6 commits

zeweizhang's picture

Update README.md

beb179c verified 3 months ago