arxiv:2609.09264
Idan Davidovich
IdanDavidovich
AI & ML interests
None yet
Recent Activity
upvoted a paper 2 days ago
Beyond Solver Verdicts: Generative Reward Models for Autoformalization new activity 2 days ago
IdanDavidovich/StochBench:Add link to paper authored a paper 7 days ago
StochBench: A Domain-Specific Benchmark for Stochastic Processes in LeanOrganizations
None yet