zeweizhang
/

ImitSAT

Text Generation

imitation-learning

boolean-satisfiability

branching-policy

decision-sequence

Model card Files Files and versions

ImitSAT / tokenizer

5.13 kB

1 contributor

History: 1 commit

zeweizhang's picture

Upload ImitSAT checkpoint.

f410a52 verified 12 days ago