arxiv:2609.09264
Idan Davidovich
IdanDavidovich
AI & ML interests
None yet
Recent Activity
upvoted a paper 3 days ago
LEANGUARD: Lean-Verified Guardrails for Tool-Using Agents upvoted a paper about 2 months ago
Beyond Solver Verdicts: Generative Reward Models for Autoformalization new activity about 2 months ago
IdanDavidovich/StochBench:Add link to paperOrganizations
