Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Yale-ROSE
/
Qwen3-4B-SAT-VarSelector-Sym-Aug-GRPO-2x
like
0
Follow
Rigorous Software Engineering
7
Reinforcement Learning
English
sat
satisfiability
combinatorial-optimization
variable-selection
grpo
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
Copy to bucket
new
main
Qwen3-4B-SAT-VarSelector-Sym-Aug-GRPO-2x
8.06 GB
Ctrl+K
Ctrl+K
1 contributor
History:
2 commits
erata
Upload folder using huggingface_hub
581064a
verified
7 months ago
.gitattributes
1.57 kB
Upload folder using huggingface_hub
7 months ago
README.md
2.25 kB
Upload folder using huggingface_hub
7 months ago
added_tokens.json
707 Bytes
Upload folder using huggingface_hub
7 months ago
chat_template.jinja
4.17 kB
Upload folder using huggingface_hub
7 months ago
merges.txt
1.67 MB
Upload folder using huggingface_hub
7 months ago
model.pt
8.05 GB
xet
Upload folder using huggingface_hub
7 months ago
special_tokens_map.json
613 Bytes
Upload folder using huggingface_hub
7 months ago
tokenizer.json
11.4 MB
xet
Upload folder using huggingface_hub
7 months ago
tokenizer_config.json
5.4 kB
Upload folder using huggingface_hub
7 months ago
vocab.json
2.78 MB
Upload folder using huggingface_hub
7 months ago
