ATTS: Asynchronous Test-Time Scaling via Conformal Prediction Paper • 2509.15148 • Published Sep 18, 2025
SwingArena: Competitive Programming Arena for Long-context GitHub Issue Solving Paper • 2505.23932 • Published May 29, 2025
SVD-LLM V2: Optimizing Singular Value Truncation for Large Language Model Compression Paper • 2503.12340 • Published Mar 16, 2025
MMFormalizer: Multimodal Autoformalization in the Wild Paper • 2601.03017 • Published 7 days ago • 97
MMFormalizer: Multimodal Autoformalization in the Wild Paper • 2601.03017 • Published 7 days ago • 97