Research author

Pramod Kaushik Mudrakarta

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

Papers by Pramod Kaushik Mudrakarta

Jun 18, 2026
cs.CR

Efficient and Sound Probabilistic Verification for AI Agents

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

Pramod Kaushik Mudrakarta — AI Research | One9Founders