MMFormalizer: Multimodal Autoformalization in the Wild
Paper
•
2601.03017
•
Published
•
105
AI & ML interests
None defined yet.
Recent Activity
View all activity
menik1126
submitted
a
paper
to Daily Papers
20 days ago
menik1126
authored
15
papers
3 months ago
ATTS: Asynchronous Test-Time Scaling via Conformal Prediction
Paper
•
2509.15148
•
Published
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
Paper
•
2310.10180
•
Published
•
1
D2O: Dynamic Discriminative Operations for Efficient Generative Inference of Large Language Models
Paper
•
2406.13035
•
Published
•
3
UncertaintyRAG: Span-Level Uncertainty Enhanced Long-Context Modeling for Retrieval-Augmented Generation
Paper
•
2410.02719
•
Published
•
1
Autoregressive Models in Vision: A Survey
Paper
•
2411.05902
•
Published
•
19
Process-Driven Autoformalization in Lean 4
Paper
•
2406.01940
•
Published
LIFT: Improving Long Context Understanding Through Long Input Fine-Tuning
Paper
•
2412.13626
•
Published
AlignedCoT: Prompting Large Language Models via Native-Speaking Demonstrations
Paper
•
2311.13538
•
Published
PhyX: Does Your Model Have the "Wits" for Physical Reasoning?
Paper
•
2505.15929
•
Published
•
49
SRPO: Enhancing Multimodal LLM Reasoning via Reflection-Aware Reinforcement Learning
Paper
•
2506.01713
•
Published
•
48
Mathesis: Towards Formal Theorem Proving from Natural Languages
Paper
•
2506.07047
•
Published
•
6
Self-Adjust Softmax
Paper
•
2502.18277
•
Published
Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilities
Paper
•
2507.06261
•
Published
•
66
Enhancing Test-Time Scaling of Large Language Models with Hierarchical Retrieval-Augmented MCTS
Paper
•
2507.05557
•
Published
UNComp: Can Matrix Entropy Uncover Sparsity? -- A Compressor Design from an Uncertainty-Aware Perspective
Paper
•
2410.03090
•
Published
•
1