zeweizhang
/

ImitSAT

Text Generation

imitation-learning

boolean-satisfiability

branching-policy

decision-sequence

Model card Files Files and versions

ImitSAT / tokenizer /special_tokens_map.json

Commit History

Upload ImitSAT checkpoint.

f410a52
verified

zeweizhang commited on 27 days ago