IFM/research-lean-formalization-rollouts
Preview • Updated • 28
AI & ML interests
Foundation Models, Large Language Models (LLMs), Generative AI, Multilingual Models, Reasoning, AI Agents, Open-Source AI, AI Research
Recent Activity
Papers
Towards Looped Models Done Right, Part I: Topology, Input Injection, Recurrent-State Design
Towards Looped Models Done Right, Part II: Rethinking at Fixed Points
IFM/research-math-rollouts
Viewer • Updated • 21.1k • 18 • 1
IFM/Jais-3-Data
Viewer • Updated • 57.3M • 136 • 1
IFM/discarded_samples
Viewer • Updated • 3.86k • 155
IFM/arabic-enterprise_verified
Viewer • Updated • 691 • 104
IFM/alyah-emirati-benchmark_verified
Viewer • Updated • 1.17k • 117
IFM/QIAS2025_verified
Viewer • Updated • 1.7k • 82
IFM/PalmX2025-Subtask2_verified
Viewer • Updated • 1k • 95
IFM/MedAraBench_verified
Viewer • Updated • 4.93k • 100
IFM/MMLU-ProX_verified
Viewer • Updated • 11.8k • 89
IFM/IslamicEval2025-Subtask1B_verified
Viewer • Updated • 231 • 74
IFM/GATmath_verified
Viewer • Updated • 6.82k • 98
IFM/FannOrFlop-MCQ_verified
Viewer • Updated • 6.75k • 122
IFM/Dialectal-Arabic-MMLU_verified
Viewer • Updated • 21k • 92
IFM/ArabicMMLU_verified
Viewer • Updated • 27.6k • 145
IFM/Arabic-gsm8k_verified
Viewer • Updated • 17.6k • 117
IFM/ArabCulture_verified
Viewer • Updated • 3.41k • 141
IFM/AraSTEM_verified
Viewer • Updated • 10.8k • 91
IFM/AraDiCE-Culture_verified
Viewer • Updated • 179 • 97
IFM/TxT360-v2
Viewer • Updated • 1.84B • 47k • 101
IFM/SFT-Reasoning
Viewer • Updated • 40.8M • 4.54k • 20
IFM/Pretrain-Behaviors
Viewer • Updated • 1.64B • 70.7k • 36
IFM/Math-Reasoning
Viewer • Updated • 2.02B • 60.8k • 34
IFM/Code-Reasoning
Viewer • Updated • 452M • 17.8k • 102
IFM/guru-RL-v1.5
Updated • 118 • 2
IFM/TxT360-3efforts
Viewer • Updated • 9.46M • 3.29k • 115
IFM/TxT360-Midas
Viewer • Updated • 2.87B • 10k • 16
IFM/guru-RL-92k
Viewer • Updated • 91.9k • 1.98k • 47
IFM/guru_preview
Viewer • Updated • 91.9k • 360
IFM/guru-RL-92k-extra-info-compressed
Viewer • Updated • 105k • 972