3 citations · 3 across the 4 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.AI2025
BEAVER: An Efficient Deterministic LLM Verifier
Tarun Suresh, Nalin Wadhwa, Debangshu Banerjee +1
As large language models (LLMs) transition from research prototypes to production systems, practitioners often need reliable methods to verify model outputs and characterize tail r…
cs.SE2025
Code Researcher: Deep Research Agent for Large Systems Code and Commit History
Ramneet Singh, Sathvik Joel, Abhav Mehrotra +4
Large Language Model (LLM)-based coding agents have shown promising results on coding benchmarks, but their effectiveness on systems code remains underexplored. Due to the size and…