Krishnamurthy Dj Dvijotham

Google DeepMind

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

Constitutional AI & AI Ethics (1)Scalable Oversight & Alignment Theory (1)Tool Use & Agents (1)

Frequent co-authors

Alaia Solko-Breslin (1)Pramod Kaushik Mudrakarta (1)Mihai Christodorescu (1)Somesh Jha (1)

Papers (1)

Jun 18, 2026

DeepMind3w ago·also UPenn, UW-Madison

Efficient and Sound Probabilistic Verification for AI Agents

Achieving sound probabilistic verification for AI agents could redefine how we secure complex systems against policy violations in uncertain environments.

Alaia Solko-Breslin, Pramod Kaushik Mudrakarta, Mihai Christodorescu +2

Constitutional AI & AI Ethics Scalable Oversight & Alignment Theory Tool Use & Agents

Search

Krishnamurthy Dj Dvijotham

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)