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 10 days ago • 101
MMFormalizer: Multimodal Autoformalization in the Wild Paper • 2601.03017 • Published 10 days ago • 101
moonshotai/Kimi-Linear-48B-A3B-Instruct Text Generation • 49B • Updated about 1 month ago • 30.2k • 524