Saccha AI

AI & ML interests

None defined yet.

Recent Activity

Debargha  authored a paper about 17 hours ago

Beyond Solver Verdicts: Generative Reward Models for Autoformalization

Debargha  authored a paper about 17 hours ago

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

Debargha  authored a paper about 17 hours ago

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

View all activity

Team members 2