AI.info

Idan Davidovich

Explore Idan Davidovich on AI.info.

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