Abhik Roychoudhury

2Both authors contributed equally

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

Interpretability & Mechanistic Interp (1)Scalable Oversight & Alignment Theory (1)Tool Use & Agents (1)

Frequent co-authors

Zhengxiong Luo (1)Mehtab Zafar (1)Dylan Wolff (1)

Papers (1)

Jun 17, 2026

Zhengxiong Luo +33w ago·also 2Both authors contributed equally

Code-Augur: Agentic Vulnerability Detection via Specification Inference

Code-Augur reveals hidden vulnerabilities in software by transforming agentic assumptions into explicit security specifications, leading to unprecedented detection rates.

Zhengxiong Luo, Mehtab Zafar, Dylan Wolff +1

Interpretability & Mechanistic Interp Scalable Oversight & Alignment Theory Tool Use & Agents

Search

Abhik Roychoudhury

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)