Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization
Paper • 2606.31002 • Published • 6
Chloe Mitchell
ChloeMitchell33
AI & ML interests
None yet
Recent Activity
upvoted a paper about 18 hours ago
Beyond Compilation: Evaluating Faithful Natural-Language-to-Lean Statement Formalization upvoted a paper about 18 hours ago
EvaOmni: An Evidence-Grounded Benchmark for Audio-Visual Reasoning upvoted a paper about 18 hours ago
S-Agent 2.0: Spatial Reasoning with a General Coding AgentOrganizations
None yet
upvoted 4
papers about 18 hours ago
EvaOmni: An Evidence-Grounded Benchmark for Audio-Visual Reasoning
Paper • 2610.28444 • Published • 17
S-Agent 2.0: Spatial Reasoning with a General Coding Agent
Paper • 2610.28354 • Published • 91
Ropedia W0: Scaling Loco-Manipulation World Models across Embodiments with Human Experience
Paper • 2610.26855 • Published • 176
upvoted 4
papers about 23 hours ago
Text-to-Image Generative Modeling Without Language Pretraining
Paper • 2610.26863 • Published • 6
ECHO: Efficient Causal Self-Recursion Beyond Auxiliary Multi-Token Prediction
Paper • 2610.24766 • Published • 11
BlenderWorld: Benchmarking Visual Agents for 3D Creation from Real-World References
Paper • 2610.23986 • Published • 23
Holi-World: Building Holistic World Intelligence from Human-Ego Experience
Paper • 2610.26549 • Published • 157