Hugging Face's logo
Debargha Ganguly's picture

Debargha Ganguly

Debargha
4 6 2
optimusPrimeBee's profile picture IdanDavidovich's profile picture guzman109's profile picture
·
https://debarghaganguly.com

AI & ML interests

None yet

Recent Activity

upvoted a paper 3 days ago
Beyond Solver Verdicts: Generative Reward Models for Autoformalization
authored a paper 3 days ago
Beyond Solver Verdicts: Generative Reward Models for Autoformalization
authored a paper 3 days ago
StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean
View all activity

Organizations

Intelligent Cyberinfrastructure with Computational Learning in the Environment -- ICICLE's profile picture Debargha's profile picture Saccha AI's profile picture