Hugging Face's logo
Idan Davidovich's picture

Idan Davidovich

IdanDavidovich
1 1

AI & ML interests

None yet

Recent Activity

authored a paper 1 day ago
StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean
upvoted a paper 1 day ago
StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean
liked a dataset 3 days ago
IdanDavidovich/StochBench
View all activity

Organizations

None yet