Rigorous Software Engineering

Yale-ROSE's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Articles

erata 

updated a model 1 day ago

Yale-ROSE/Qwen3-4B-SAT-VarSelector-Sym-Aug-GRPO-5x

Reinforcement Learning • Updated 1 day ago

erata 

published a model 1 day ago

Yale-ROSE/Qwen3-4B-SAT-VarSelector-Sym-Aug-GRPO-5x

Reinforcement Learning • Updated 1 day ago

erata 

updated a model 2 days ago

Yale-ROSE/Qwen3-4B-SAT-VarSelector-Sym-Aug-GRPO-2x

Reinforcement Learning • Updated 2 days ago

erata 

published a model 2 days ago

Yale-ROSE/Qwen3-4B-SAT-VarSelector-Sym-Aug-GRPO-2x

Reinforcement Learning • Updated 2 days ago

erata 

updated a model 5 days ago

Yale-ROSE/Qwen3-4B-SAT-VarSelector-Sym-Aug-8-Epoch

Text Classification • Updated 5 days ago

erata 

published a model 5 days ago

Yale-ROSE/Qwen3-4B-SAT-VarSelector-Sym-Aug-8-Epoch

Text Classification • Updated 5 days ago

erata 

updated a model 7 days ago

Yale-ROSE/Qwen3-4B-SAT-VarSelector-Sym-Aug

Text Classification • Updated 7 days ago

erata 

published a model 7 days ago

Yale-ROSE/Qwen3-4B-SAT-VarSelector-Sym-Aug

Text Classification • Updated 7 days ago

erata 

updated a model 7 days ago

Yale-ROSE/Qwen3-0.6B-SAT-VarSelector-Distilled

Text Classification • Updated 7 days ago

erata 

published a model 7 days ago

Yale-ROSE/Qwen3-0.6B-SAT-VarSelector-Distilled

Text Classification • Updated 7 days ago

erata 

updated a model 7 days ago

Yale-ROSE/Qwen3-0.6B-SAT-VarSelector-Sym-Aug

Text Classification • Updated 7 days ago

erata 

published a model 7 days ago

Yale-ROSE/Qwen3-0.6B-SAT-VarSelector-Sym-Aug

Text Classification • Updated 7 days ago

erata 

updated a model 8 days ago

Yale-ROSE/Qwen3-4B-dimacs_cube-sft_gpt-oss-120b-dpo_gpt-oss-120b_reasoning-v2

4B • Updated 8 days ago • 70

erata 

published a model 8 days ago

Yale-ROSE/Qwen3-4B-dimacs_cube-sft_gpt-oss-120b-dpo_gpt-oss-120b_reasoning-v2

4B • Updated 8 days ago • 70

erata 

updated a model 8 days ago

Yale-ROSE/Qwen3-0.6B-SAT-VarSelector-Sym

Text Classification • Updated 8 days ago

erata 

published a model 8 days ago

Yale-ROSE/Qwen3-0.6B-SAT-VarSelector-Sym

Text Classification • Updated 8 days ago

erata 

updated a model 12 days ago

Yale-ROSE/Qwen3-0.6B-SAT-VarSelector

Text Classification • Updated 12 days ago

erata 

published a model 12 days ago

Yale-ROSE/Qwen3-0.6B-SAT-VarSelector

Text Classification • Updated 12 days ago

erata 

updated a model 12 days ago

Yale-ROSE/Qwen3-4B-SAT-VarSelector

Text Classification • Updated 12 days ago

erata 

published a model 12 days ago

Yale-ROSE/Qwen3-4B-SAT-VarSelector

Text Classification • Updated 12 days ago