19 citations · 51 across the 15 of their papers we have counts for
3 papers · 1 filter
Uncovering the Limits of Proof Sharing for Neural Networks
Kanak Das, Shubham Ugare, Bor-Yuh Evan Chang +3
Robustness verification of neural networks is increasingly important, due to their use in many critical domains. In certain scenarios, proof sharing has been shown to accelerate in…
REAP: Automatic Curation of Coding Agent Benchmarks from Interactive Production Usage
Smriti Jha, Matteo Paltenghi, Chandra Maddila +3
Production deployment of AI coding agents requires fast, reproducible evaluation signals. Existing industrial practices trade off speed and fidelity: online A/B testing takes weeks…
Agentic Code Reasoning
Shubham Ugare, Satish Chandra
Can LLM agents explore codebases and reason about code semantics without executing the code? We study this capability, which we call agentic code reasoning, and introduce semi-form…