Idan Davidovich

IdanDavidovich

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 1 day ago

Beyond Solver Verdicts: Generative Reward Models for Autoformalization

new activity 1 day ago

IdanDavidovich/StochBench:Add link to paper

authored a paper 6 days ago

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

View all activity

Organizations

None yet

New activity in IdanDavidovich/StochBench 1 day ago

Add link to paper

#2 opened 3 days ago by