Hugging Face's logo
Debargha Ganguly's picture

Debargha Ganguly

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

AI & ML interests

None yet

Recent Activity

upvoted a paper 1 day ago
Scaling Lean Theorem Proving for Real-World Code Verification
submitted a paper 1 day ago
Scaling Lean Theorem Proving for Real-World Code Verification
upvoted a paper 25 days ago
How to Loop MoE: Flatten the Experts, Untie the Attention
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 By-Eureka's profile picture