Research author

Krishnamurthy Dj Dvijotham

1 AI research paper in the One9Founders library, with summaries and links to original sources.

Papers by Krishnamurthy Dj Dvijotham

Jun 18, 2026
cs.CR

Efficient and Sound Probabilistic Verification for AI Agents

Alaia Solko-Breslin, Pramod Kaushik Mudrakarta, Mihai Christodorescu, et al.

Krishnamurthy Dj Dvijotham — AI Research | One9Founders