Hugging Face's logo

zeweizhang
/
ImitSAT

Other
English
imitation-learning
boolean-satisfiability
SAT
CDCL
branching-policy
perceiver-ar
autoregressive
decision-sequence
Model card Files
xet
 Community
2
ImitSAT

Commit History

  1. Update pipeline tag and improve model description (#2)⁠

    zeweizhang +1: nielsr
    e5cd8b2

  1. Update README.md

    zeweizhang
    Verified signature
    beb179c

  2. Update README.md

    zeweizhang
    Verified signature
    a4a8eb9

  1. Update README.md

    zeweizhang
    Verified signature
    41583ad

  2. Update README.md

    zeweizhang
    Verified signature
    f09c689

  3. Upload ImitSAT checkpoint.

    zeweizhang
    Verified signature
    f410a52

  4. initial commit

    zeweizhang
    Verified signature
    44f6307