Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Yale-ROSE
/
Qwen3-4B-SAT-VarSelector-Sym-Aug-DPO
like
0
Follow
Rigorous Software Engineering
7
Text Classification
Yale-ROSE/SAT-CNF-Rewards
English
sat-solver
variable-selection
dpo
direct-preference-optimization
qwen3
combinatorial-optimization
neural-symbolic
License:
mit
Model card
Files
Files and versions
xet
Community
main
Qwen3-4B-SAT-VarSelector-Sym-Aug-DPO
1 contributor
History:
2 commits
erata
Upload folder using huggingface_hub
6926b69
verified
about 1 month ago
.gitattributes
Safe
1.57 kB
Upload folder using huggingface_hub
about 1 month ago
README.md
6.55 kB
Upload folder using huggingface_hub
about 1 month ago
added_tokens.json
Safe
707 Bytes
Upload folder using huggingface_hub
about 1 month ago
chat_template.jinja
Safe
4.17 kB
Upload folder using huggingface_hub
about 1 month ago
merges.txt
Safe
1.67 MB
Upload folder using huggingface_hub
about 1 month ago
model.pt
pickle
Detected Pickle imports (3)
"collections.OrderedDict"
,
"torch.BFloat16Storage"
,
"torch._utils._rebuild_tensor_v2"
What is a pickle import?
8.05 GB
xet
Upload folder using huggingface_hub
about 1 month ago
special_tokens_map.json
Safe
613 Bytes
Upload folder using huggingface_hub
about 1 month ago
tokenizer.json
Safe
11.4 MB
xet
Upload folder using huggingface_hub
about 1 month ago
tokenizer_config.json
Safe
5.4 kB
Upload folder using huggingface_hub
about 1 month ago
vocab.json
Safe
2.78 MB
Upload folder using huggingface_hub
about 1 month ago