X.com
6521
Navier–Stokes Lost in Translation: Why Lean Verification of AI Autoformalisation Does Not Guarantee Correct Natural Language Proofs
Anders Moen
University of Cambridge
The Research Desk.
The most upvoted and starred AI research crossing the community today.
Last Brew Time: Oct 14, 2026, 12:19 PM PT
X.com Research Buzz
AlphaXiv Trending
Machine Learning
AlphaXiv
73
Correction Training for Diffusion Models
Views
AlphaXiv
21
Interaction-as-a-Judge
NLP
AlphaXiv
21
LLM-to-Flow Distillation: Teaching Natural Language Goals to Scientific Generators
ETH AI Center, University of Pennsylvania, University of Oxford
Reinforcement Learning
AlphaXiv
20
Scalable Weak-to-Strong Verifier Hardening for Agent Environments
Affiliation: Stanford University, Affiliation: Carnegie Mellon University, Stanford University, Carnegie Mellon University
Multimodal
AlphaXiv
18
Scaling Laws for Multimodal Data Mixtures
Affiliation: MILA - Quebec AI Institute, McGill University, Affiliation: University of Washington, MILA - Quebec AI Institute, McGill University, University of Washington
Computer Vision
AlphaXiv
17
VideoJev: System One Model for Video Understanding and Interaction
Views
HuggingFace Daily Papers
HuggingFace
7
Pristine Models
Anirudh Sundara Rajan, Krishna Kumar Singh, Richard Zhang, Yong Jae Lee
University of Wisconsin - Madison
Reinforcement Learning
HuggingFace
2
Beyond the Verdict: Agentic Code Judging with Verifiable Feedback
Zheye Deng, Sha Li, Changlong Yu, Xin Liu, Qin Lu
Reinforcement Learning
HuggingFace
1
Scaling Verifiable Environments for Long-horizon Work Agents
Jiazheng Zhang, Long Ma, Yunxian Yang, Zhiheng Xi, Zhikai Lei
Tencent Hunyuan
HuggingFace
0
Privacy-Preserving Intent Fulfilment and Assurance for 6G RAN
Joss Armstrong
Ericsson AB
NLP
HuggingFace
0
Image Tokenizers Should Be Trained Between Images
Ole Beißwenger, Jan-Niklas Dihlmann, Hendrik Lensch
CG Tübingen
NLP
HuggingFace
0
Words to World: Benchmarking LLMs in Interactive Physical Environments
Xinnan Dai, Kaiqi Yang, Yaxin Li, Cheng Luo, Wanli Li