Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up

Rigorous Software Engineering

university
https://rose.yale.edu
Yale-ROSE
Activity Feed

AI & ML interests

Automated Reasoning, Reinforcement Learning, Neuro-Symbolic AI

Ferhat Erata's profile picture sam's profile picture Thanos Typaldos's profile picture Timos's profile picture

models 7

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

Text Generation • 4B • Updated Sep 20 • 6

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

Text Generation • 4B • Updated Sep 19 • 6

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

Text Generation • 4B • Updated Sep 18 • 5

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

Text Generation • 4B • Updated Sep 15 • 7

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

Text Generation • 4B • Updated Sep 14 • 8

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

Text Generation • 4B • Updated Sep 13 • 5

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

Updated Sep 7

datasets 0

None public yet
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs