{"id":"2606.20510","title":"Efficient and Sound Probabilistic Verification for AI Agents","url":"https://codeofpaper.com/paper/2606.20510","arxiv_url":"https://arxiv.org/abs/2606.20510","published":"2026-06-18","code":"none","best":null,"most_starred_community":null,"implementations":[],"possible_matches":0}