Idan Davidovich

IdanDavidovich

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 26 days ago

Beyond Solver Verdicts: Generative Reward Models for Autoformalization

new activity 26 days ago

IdanDavidovich/StochBench:Add link to paper

authored a paper about 1 month 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 26 days ago • 1.07k • 546 • 4