2 citations · 3 across the 18 of their papers we have counts for
3 papers · 1 filter
StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean
Idan Davidovich, Debargha Ganguly, Vikash Singh +1
Leading benchmarks for formal theorem proving with large language models are small collections drawn from competition math, such as the IMO and Putnam, that poorly represent field-…
Auditing Cross-Lingual Fairness in Language Model Watermarking
Alexander Nemecek, Osama Zafar, Debargha Ganguly +3
Watermarking schemes for large language model output are evaluated almost exclusively on English text using each scheme's detection threshold and a narrow set of quality measuremen…
Trust The Typical
Debargha Ganguly, Sreehari Sankar, Biyao Zhang +8
Current approaches to LLM safety fundamentally rely on a brittle cat-and-mouse game of identifying and blocking known threats via guardrails. We argue for a fresh approach: robust…