Research author

Mihai Christodorescu

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

Papers by Mihai Christodorescu

Jun 18, 2026
cs.CR

Efficient and Sound Probabilistic Verification for AI Agents

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

Mihai Christodorescu — AI Research Papers | One9Founders