zeweizhang
/

ImitSAT

Text Generation

imitation-learning

boolean-satisfiability

branching-policy

decision-sequence

Model card Files Files and versions

ImitSAT / tokenizer

Commit History

Upload ImitSAT checkpoint.

f410a52
verified

zeweizhang commited on Oct 2, 2025