arxiv:2505.20047
Debargha Ganguly
Debargha
AI & ML interests
None yet
Recent Activity
upvoted a paper 3 days ago
StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean submitted a paper 3 days ago
StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean liked a dataset 5 days ago
IdanDavidovich/StochBench