Rigorous Software Engineering

university

https://rose.yale.edu

Yale-ROSE

AI & ML interests

Automated Reasoning, Reinforcement Learning, Neuro-Symbolic AI

Recent Activity

erata updated a model about 23 hours ago

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

erata published a model about 24 hours ago

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

erata updated a model 1 day ago

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

View all activity

models 17

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

Reinforcement Learning • Updated about 23 hours ago

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

Reinforcement Learning • Updated 1 day ago

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

Text Classification • Updated 5 days ago

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

Text Classification • Updated 6 days ago

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

Text Classification • Updated 7 days ago

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

Text Classification • Updated 7 days ago

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

4B • Updated 7 days ago • 70

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

Text Classification • Updated 8 days ago

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

Text Classification • Updated 11 days ago

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

Text Classification • Updated 11 days ago

datasets 0

None public yet