arxiv:2609.09264
Idan Davidovich
IdanDavidovich
AI & ML interests
None yet
Recent Activity
authored a paper about 13 hours ago
StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean upvoted a paper about 15 hours ago
StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean liked a dataset 2 days ago
IdanDavidovich/StochBenchOrganizations
None yet