RLAD CMU-AIRe/RLAD-Hint-Gen Text Generation • 4B • Updated Oct 25, 2025 • 16 CMU-AIRe/RLAD-Sol-Gen 2B • Updated Oct 25, 2025 • 14 CMU-AIRe/RLAD-abstractions-benchmarks Viewer • Updated Oct 3, 2025 • 60 • 10 • 2 CMU-AIRe/RLAD-HintGen-warmup Viewer • Updated 26 days ago • 5k • 67
POPE CMU-AIRe/POPE-source-128x32k Viewer • Updated Jan 31 • 2.52k • 12 CMU-AIRe/POPE-HARD-w-oracle-solution Viewer • Updated Jan 31 • 601 • 41 CMU-AIRe/POPE-more-64x32k Viewer • Updated Oct 27, 2025 • 91k • 42 CMU-AIRe/POPE-HARD-w-guide Viewer • Updated Jan 31 • 512 • 27
InT CMU-AIRe/InT-4B 4B • Updated Feb 1 • 12 CMU-AIRe/InT-RL Viewer • Updated Feb 1 • 1.08k • 18 CMU-AIRe/InT-SFT Viewer • Updated Feb 1 • 2.21k • 18 CMU-AIRe/InT-test-set Viewer • Updated Feb 1 • 149 • 22
RLAD CMU-AIRe/RLAD-Hint-Gen Text Generation • 4B • Updated Oct 25, 2025 • 16 CMU-AIRe/RLAD-Sol-Gen 2B • Updated Oct 25, 2025 • 14 CMU-AIRe/RLAD-abstractions-benchmarks Viewer • Updated Oct 3, 2025 • 60 • 10 • 2 CMU-AIRe/RLAD-HintGen-warmup Viewer • Updated 26 days ago • 5k • 67
InT CMU-AIRe/InT-4B 4B • Updated Feb 1 • 12 CMU-AIRe/InT-RL Viewer • Updated Feb 1 • 1.08k • 18 CMU-AIRe/InT-SFT Viewer • Updated Feb 1 • 2.21k • 18 CMU-AIRe/InT-test-set Viewer • Updated Feb 1 • 149 • 22
POPE CMU-AIRe/POPE-source-128x32k Viewer • Updated Jan 31 • 2.52k • 12 CMU-AIRe/POPE-HARD-w-oracle-solution Viewer • Updated Jan 31 • 601 • 41 CMU-AIRe/POPE-more-64x32k Viewer • Updated Oct 27, 2025 • 91k • 42 CMU-AIRe/POPE-HARD-w-guide Viewer • Updated Jan 31 • 512 • 27