Research author

Somesh Jha

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

Papers by Somesh Jha

Jun 18, 2026
cs.CR

Efficient and Sound Probabilistic Verification for AI Agents

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

Somesh Jha — AI Research Papers | One9Founders