Hugging Face's logo

zeweizhang
/
ImitSAT

Text Generation
English
imitation-learning
boolean-satisfiability
SAT
CDCL
branching-policy
perceiver-ar
autoregressive
decision-sequence
Model card Files
xet
Community
1
ImitSAT
668 MB
  • 1 contributor
 History: 5 commits
nielsr's picture
nielsr HF Staff
Add reinforcement-learning pipeline tag to model card
7721ae1 verified