Debargha Ganguly

Debargha's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

updated a dataset 22 minutes ago

Debargha/sym2smt-synthetic-smtlib

Updated 22 minutes ago

published a dataset 23 minutes ago

Debargha/sym2smt-synthetic-smtlib

Updated 22 minutes ago

upvoted a paper about 2 months ago

Trust The Typical

Paper • 2602.04581 • Published Feb 4 • 1

submitted a paper to Daily Papers about 2 months ago

Trust The Typical

Paper • 2602.04581 • Published Feb 4 • 1

upvoted a paper 2 months ago

VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning

Paper • 2601.20055 • Published Jan 27 • 7

liked a Space 5 months ago

Running on CPU Upgrade

Featured

3.07k

The Smol Training Playbook

📚

3.07k

The secrets to building world-class LLMs

commented a paper 10 months ago

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks

Paper • 2505.20047 • Published May 26, 2025 • 3 •

2

authored 2 papers 10 months ago

Forte : Finding Outliers with Representation Typicality Estimation

Paper • 2410.01322 • Published Oct 2, 2024 • 1

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks

Paper • 2505.20047 • Published May 26, 2025 • 3

upvoted a paper 10 months ago

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks

Paper • 2505.20047 • Published May 26, 2025 • 3