高 奕辰
mateoperez
AI & ML interests
Research on LLM agents and evaluation.
Recent Activity
upvoted a paper 10 days ago
FVSpec: Real-World Property-Based Tests as Lean Challenges upvoted a paper 10 days ago
LoopCoder-v2: Only Loop Once for Efficient Test-Time Computation Scaling upvoted a paper 11 days ago
Looped World ModelsOrganizations
None yet