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-0.6B-SAT-VarSelector

Text Classification • Updated 1 day ago

erata 

published a model 1 day ago

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

Text Classification • Updated 1 day ago

erata 

updated a model 1 day ago

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

Text Classification • Updated 1 day ago

erata 

published a model 1 day ago

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

Text Classification • Updated 1 day ago

erata 

updated a model 4 months ago

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

Text Generation • 4B • Updated Sep 20, 2025

erata 

published a model 4 months ago

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

Text Generation • 4B • Updated Sep 20, 2025

erata 

updated a model 4 months ago

Yale-ROSE/Qwen3-4B-dpo_gpt-oss-120b_8k_reasoning_ablation

Text Generation • 4B • Updated Sep 19, 2025 • 1

erata 

published a model 4 months ago

Yale-ROSE/Qwen3-4B-dpo_gpt-oss-120b_8k_reasoning_ablation

Text Generation • 4B • Updated Sep 19, 2025 • 1

erata 

updated a model 4 months ago

Yale-ROSE/Qwen3-4B-dimacs_cube-sft_gpt-oss-120b-dpo_gpt-oss-120b_reasoning_grpo-v1

Text Generation • 4B • Updated Sep 18, 2025

erata 

published a model 4 months ago

Yale-ROSE/Qwen3-4B-dimacs_cube-sft_gpt-oss-120b-dpo_gpt-oss-120b_reasoning_grpo-v1

Text Generation • 4B • Updated Sep 18, 2025

erata 

updated a model 4 months ago

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

Text Generation • 4B • Updated Sep 15, 2025 • 1

erata 

published a model 4 months ago

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

Text Generation • 4B • Updated Sep 15, 2025 • 1

erata 

updated a model 4 months ago

Yale-ROSE/Qwen3-4B-sft_dataset_gpt-sft-trl-v2

Text Generation • 4B • Updated Sep 14, 2025 • 1

erata 

published a model 4 months ago

Yale-ROSE/Qwen3-4B-sft_dataset_gpt-sft-trl-v2

Text Generation • 4B • Updated Sep 14, 2025 • 1

erata 

updated a model 4 months ago

Yale-ROSE/Qwen3-4B-dimacs_cube-grpo-v1-reasoning-dpo-v3

Text Generation • 4B • Updated Sep 13, 2025

erata 

published 2 models 4 months ago

Yale-ROSE/Qwen3-4B-dimacs_cube-grpo-v1-reasoning-dpo-v3

Text Generation • 4B • Updated Sep 13, 2025

Yale-ROSE/Qwen3-4B-dimacs_cube-grpo-v1-reasoning-dpo-v2

Updated Sep 7, 2025

erata 

updated a collection 11 months ago

Transformer-SAT

Collection

6 items • Updated Feb 9, 2025 • 1