Submitted by
Xirui Li
AI & ML interests
None defined yet.
Recent Activity
View all activity
Papers
LEGO-Anything: Coding Agents for 3D Scene Reconstruction
Beyond Solver Verdicts: Generative Reward Models for Autoformalization
None defined yet.
LEGO-Anything: Coding Agents for 3D Scene Reconstruction
Beyond Solver Verdicts: Generative Reward Models for Autoformalization