Idan Davidovich

IdanDavidovich

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 5 days ago

Beyond Solver Verdicts: Generative Reward Models for Autoformalization

new activity 5 days ago

IdanDavidovich/StochBench:Add link to paper

authored a paper 9 days ago

StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean

View all activity

Organizations

None yet

Papers 1

arxiv:2609.09264

models 0

None public yet

datasets 1

IdanDavidovich/StochBench

Viewer • Updated 5 days ago • 1.07k • 477 • 4