IdanDavidovich/StochBench
Viewer • Updated • 1.07k • 5.63k • 4
Idan Davidovich
IdanDavidovich
AI & ML interests
None yet
Recent Activity
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 paper authored a paper about 2 months ago
StochBench: A Domain-Specific Benchmark for Stochastic Processes in LeanOrganizations
