StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean
Paper • 2609.09264 • Published • 9
Idan Davidovich
IdanDavidovich
AI & ML interests
None yet
Recent Activity
authored a paper 3 days ago
StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean upvoted a paper 3 days ago
StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean liked a dataset 5 days ago
IdanDavidovich/StochBenchOrganizations
None yet
authored a
paper 3 days ago
upvoted a paper 3 days ago
liked a
dataset 5 days ago
updated a
dataset 5 days ago
published a
dataset 5 days ago