Debargha Ganguly

Debargha's activity

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

upvoted a paper about 23 hours ago

LEANGUARD: Lean-Verified Guardrails for Tool-Using Agents

Paper • 2611.02332 • Published 2 days ago • 9

submitted a paper to Daily Papers about 24 hours ago

LEANGUARD: Lean-Verified Guardrails for Tool-Using Agents

Paper • 2611.02332 • Published 2 days ago • 9

upvoted a paper 5 days ago

Scaling Lean Theorem Proving for Real-World Code Verification

Paper • 2610.38174 • Published 7 days ago • 7

submitted a paper to Daily Papers 5 days ago

Scaling Lean Theorem Proving for Real-World Code Verification

Paper • 2610.38174 • Published 7 days ago • 7

upvoted a paper 29 days ago

How to Loop MoE: Flatten the Experts, Untie the Attention

Paper • 2609.35751 • Published Sep 28 • 12

submitted a paper to Daily Papers 29 days ago

How to Loop MoE: Flatten the Experts, Untie the Attention

Paper • 2609.35751 • Published Sep 28 • 12

liked a dataset about 1 month ago

nvidia/Nemotron-Math-Proofs-v1

Viewer • Updated Jan 5 • 925k • 1.51k • 129

upvoted a paper about 2 months ago

Beyond Solver Verdicts: Generative Reward Models for Autoformalization

Paper • 2609.11085 • Published Sep 10 • 12

authored 5 papers about 2 months ago

Beyond Solver Verdicts: Generative Reward Models for Autoformalization

Paper • 2609.11085 • Published Sep 10 • 12

StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean

Paper • 2609.09264 • Published Sep 8 • 9

Test-Time Scaling in Reasoning LLMs: Inference Regimes, Evaluation, and Reproducibility

Paper • 2608.04001 • Published Aug 4 • 1

Mid-Think: Training-Free Intermediate-Budget Reasoning via Token-Level Triggers

Paper • 2601.07036 • Published Jan 11

Trust The Typical

Paper • 2602.04581 • Published Feb 4 • 2

upvoted a paper about 2 months ago

StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean

Paper • 2609.09264 • Published Sep 8 • 9

submitted a paper to Daily Papers about 2 months ago

StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean

Paper • 2609.09264 • Published Sep 8 • 9

liked a dataset about 2 months ago

IdanDavidovich/StochBench

Viewer • Updated Sep 14 • 1.07k • 5.81k • 4

updated a model 6 months ago

saccha-ai/Sequent-Prover-4B-Preview

5B • Updated May 5 • 13

published a model 6 months ago

saccha-ai/Sequent-Prover-4B-Preview

5B • Updated May 5 • 13

updated a model 6 months ago

Debargha/Qwen3.5-4B-SFT-May4

Updated May 5

published a model 6 months ago

Debargha/Qwen3.5-4B-SFT-May4

Updated May 5