RLAD CMU-AIRe/RLAD-Hint-Gen Text Generation • 4B • Updated Oct 25, 2025 • 11 CMU-AIRe/RLAD-Sol-Gen 2B • Updated Oct 25, 2025 • 13 CMU-AIRe/RLAD-abstractions-benchmarks Viewer • Updated Oct 3, 2025 • 60 • 10 • 2 CMU-AIRe/RLAD-HintGen-warmup Viewer • Updated 19 days ago • 5k • 59
POPE CMU-AIRe/POPE-source-128x32k Viewer • Updated Jan 31 • 2.52k • 17 CMU-AIRe/POPE-HARD-w-oracle-solution Viewer • Updated Jan 31 • 601 • 76 CMU-AIRe/POPE-more-64x32k Viewer • Updated Oct 27, 2025 • 91k • 48 CMU-AIRe/POPE-HARD-w-guide Viewer • Updated Jan 31 • 512 • 31
InT CMU-AIRe/InT-4B 4B • Updated Feb 1 • 11 CMU-AIRe/InT-RL Viewer • Updated Feb 1 • 1.08k • 21 CMU-AIRe/InT-SFT Viewer • Updated Feb 1 • 2.21k • 21 CMU-AIRe/InT-test-set Viewer • Updated Feb 1 • 149 • 21
RLAD CMU-AIRe/RLAD-Hint-Gen Text Generation • 4B • Updated Oct 25, 2025 • 11 CMU-AIRe/RLAD-Sol-Gen 2B • Updated Oct 25, 2025 • 13 CMU-AIRe/RLAD-abstractions-benchmarks Viewer • Updated Oct 3, 2025 • 60 • 10 • 2 CMU-AIRe/RLAD-HintGen-warmup Viewer • Updated 19 days ago • 5k • 59
InT CMU-AIRe/InT-4B 4B • Updated Feb 1 • 11 CMU-AIRe/InT-RL Viewer • Updated Feb 1 • 1.08k • 21 CMU-AIRe/InT-SFT Viewer • Updated Feb 1 • 2.21k • 21 CMU-AIRe/InT-test-set Viewer • Updated Feb 1 • 149 • 21
POPE CMU-AIRe/POPE-source-128x32k Viewer • Updated Jan 31 • 2.52k • 17 CMU-AIRe/POPE-HARD-w-oracle-solution Viewer • Updated Jan 31 • 601 • 76 CMU-AIRe/POPE-more-64x32k Viewer • Updated Oct 27, 2025 • 91k • 48 CMU-AIRe/POPE-HARD-w-guide Viewer • Updated Jan 31 • 512 • 31