Hugging Face's logo
Debargha Ganguly's picture

Debargha Ganguly

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

AI & ML interests

None yet

Recent Activity

upvoted a paper 2 days ago
LEANGUARD: Lean-Verified Guardrails for Tool-Using Agents
submitted a paper 2 days ago
LEANGUARD: Lean-Verified Guardrails for Tool-Using Agents
upvoted a paper 6 days ago
Scaling Lean Theorem Proving for Real-World Code Verification
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