MMFormalizer: Multimodal Autoformalization in the Wild Paper • 2601.03017 • Published 13 days ago • 102 • 7
MMFormalizer: Multimodal Autoformalization in the Wild Paper • 2601.03017 • Published 13 days ago • 102
MMFormalizer: Multimodal Autoformalization in the Wild Paper • 2601.03017 • Published 13 days ago • 102
ATTS: Asynchronous Test-Time Scaling via Conformal Prediction Paper • 2509.15148 • Published Sep 18, 2025
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models Paper • 2310.10180 • Published Oct 16, 2023 • 1
D2O: Dynamic Discriminative Operations for Efficient Generative Inference of Large Language Models Paper • 2406.13035 • Published Jun 18, 2024 • 3
UncertaintyRAG: Span-Level Uncertainty Enhanced Long-Context Modeling for Retrieval-Augmented Generation Paper • 2410.02719 • Published Oct 3, 2024 • 1
UNComp: Can Matrix Entropy Uncover Sparsity? -- A Compressor Design from an Uncertainty-Aware Perspective Paper • 2410.03090 • Published Oct 4, 2024 • 1
LIFT: Improving Long Context Understanding Through Long Input Fine-Tuning Paper • 2412.13626 • Published Dec 18, 2024
AlignedCoT: Prompting Large Language Models via Native-Speaking Demonstrations Paper • 2311.13538 • Published Nov 22, 2023
PhyX: Does Your Model Have the "Wits" for Physical Reasoning? Paper • 2505.15929 • Published May 21, 2025 • 49
SRPO: Enhancing Multimodal LLM Reasoning via Reflection-Aware Reinforcement Learning Paper • 2506.01713 • Published Jun 2, 2025 • 48