Boolean Satisfiability via Imitation Learning
Paper
•
2509.25411
•
Published
•
3
Zewei Zhang
zeweizhang
·
AI & ML interests
None yet
Recent Activity
updated
a dataset
about 1 month ago
zeweizhang/ImitSAT-KeyTrace
new activity
about 1 month ago
zeweizhang/ImitSAT-KeyTrace:Improve dataset card: Add metadata, HF paper link, and sample usage
new activity
about 1 month ago
zeweizhang/ImitSAT:Add reinforcement-learning pipeline tag to model card
Organizations
upvoted
a
paper
about 1 month ago