MMFormalizer: Multimodal Autoformalization in the Wild Paper • 2601.03017 • Published 7 days ago • 97
IterResearch: Rethinking Long-Horizon Agents via Markovian State Reconstruction Paper • 2511.07327 • Published Nov 10, 2025 • 76