Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
zeweizhang
/
ImitSAT
like
0
Text Generation
zeweizhang/ImitSAT-KeyTrace
English
imitation-learning
boolean-satisfiability
SAT
CDCL
branching-policy
perceiver-ar
autoregressive
decision-sequence
arxiv:
2509.25411
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
1
main
ImitSAT
Commit History
Update README.md
beb179c
verified
zeweizhang
commited on
Oct 3, 2025
Update README.md
a4a8eb9
verified
zeweizhang
commited on
Oct 3, 2025
Update README.md
41583ad
verified
zeweizhang
commited on
Oct 2, 2025
Update README.md
f09c689
verified
zeweizhang
commited on
Oct 2, 2025
Upload ImitSAT checkpoint.
f410a52
verified
zeweizhang
commited on
Oct 2, 2025
initial commit
44f6307
verified
zeweizhang
commited on
Oct 2, 2025
zeweizhang
commited on
