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

Update pipeline tag and improve model description

#2
by nielsr HF Staff - opened
base: refs/heads/main
←
from: refs/pr/2
Discussion Files changed
+14
-12
nielsr

Hi! I'm Niels from the Hugging Face community science team.

I've opened this PR to refine your model card. The main changes include:

  • Updating the pipeline_tag to other, as this model is a specialized SAT branching policy rather than a general-purpose text generator.
  • Adding a brief introduction to the model based on your paper abstract to provide more context.
  • Updating the citation to the ICLR 2026 version as found in your GitHub repository.
 Update pipeline tag and improve model description342c526b
zeweizhang
 Owner

Thank you!

zeweizhang changed pull request status to merged

Sign up or log in to comment