RLAD CMU-AIRe/RLAD-Hint-Gen Text Generation • 4B • Updated Oct 25, 2025 • 7 CMU-AIRe/RLAD-Sol-Gen 2B • Updated Oct 25, 2025 • 6 CMU-AIRe/RLAD-abstractions-benchmarks Viewer • Updated Oct 3, 2025 • 60 • 17 • 2 CMU-AIRe/RLAD-HintGen-warmup Viewer • Updated about 21 hours ago • 5k • 20
POPE CMU-AIRe/POPE-source-128x32k Viewer • Updated Jan 31 • 2.52k • 22 CMU-AIRe/POPE-HARD-w-oracle-solution Viewer • Updated Jan 31 • 601 • 86 CMU-AIRe/POPE-more-64x32k Viewer • Updated Oct 27, 2025 • 91k • 158 CMU-AIRe/POPE-HARD-w-guide Viewer • Updated Jan 31 • 512 • 27
InT CMU-AIRe/InT-4B 4B • Updated Feb 1 • 9 CMU-AIRe/InT-RL Viewer • Updated Feb 1 • 1.08k • 15 CMU-AIRe/InT-SFT Viewer • Updated Feb 1 • 2.21k • 12 CMU-AIRe/InT-test-set Viewer • Updated Feb 1 • 149 • 9
RLAD CMU-AIRe/RLAD-Hint-Gen Text Generation • 4B • Updated Oct 25, 2025 • 7 CMU-AIRe/RLAD-Sol-Gen 2B • Updated Oct 25, 2025 • 6 CMU-AIRe/RLAD-abstractions-benchmarks Viewer • Updated Oct 3, 2025 • 60 • 17 • 2 CMU-AIRe/RLAD-HintGen-warmup Viewer • Updated about 21 hours ago • 5k • 20
InT CMU-AIRe/InT-4B 4B • Updated Feb 1 • 9 CMU-AIRe/InT-RL Viewer • Updated Feb 1 • 1.08k • 15 CMU-AIRe/InT-SFT Viewer • Updated Feb 1 • 2.21k • 12 CMU-AIRe/InT-test-set Viewer • Updated Feb 1 • 149 • 9
POPE CMU-AIRe/POPE-source-128x32k Viewer • Updated Jan 31 • 2.52k • 22 CMU-AIRe/POPE-HARD-w-oracle-solution Viewer • Updated Jan 31 • 601 • 86 CMU-AIRe/POPE-more-64x32k Viewer • Updated Oct 27, 2025 • 91k • 158 CMU-AIRe/POPE-HARD-w-guide Viewer • Updated Jan 31 • 512 • 27