IterResearch: Rethinking Long-Horizon Agents via Markovian State Reconstruction Paper • 2511.07327 • Published Nov 10, 2025 • 76
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization Paper • 2510.24592 • Published Oct 28, 2025 • 16
ReForm Collection ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization • 4 items • Updated Oct 29, 2025 • 4