{"work":{"id":"d4c2a48d-ad9b-4f3b-91df-81f61d80ff64","openalex_id":null,"doi":null,"arxiv_id":"2508.00500","raw_key":null,"title":"Pro2Guard: Proactive runtime enforcement of LLM agent safety via probabilistic model checking,","authors":null,"authors_text":"H","year":2025,"venue":null,"abstract":null,"external_url":"https://arxiv.org/abs/2508.00500","cited_by_count":null,"metadata_source":"arxiv_reference","metadata_fetched_at":"2026-05-22T10:41:25.216081+00:00","pith_arxiv_id":null,"created_at":"2026-05-10T12:10:22.220229+00:00","updated_at":"2026-05-22T10:41:25.216081+00:00","title_quality_ok":true,"display_title":"Pro2guard: Proactive runtime enforcement of llm agent safety via probabilistic model checking","render_title":"Pro2guard: Proactive runtime enforcement of llm agent safety via probabilistic model checking"},"hub":{"state":{"work_id":"d4c2a48d-ad9b-4f3b-91df-81f61d80ff64","tier":"hub","tier_reason":"10+ Pith inbound or 1,000+ external citations","pith_inbound_count":16,"external_cited_by_count":null,"distinct_field_count":8,"first_pith_cited_at":"2025-10-27T21:48:11+00:00","last_pith_cited_at":"2026-05-18T17:13:41+00:00","author_build_status":"not_needed","summary_status":"needed","contexts_status":"needed","graph_status":"needed","ask_index_status":"not_needed","reader_status":"not_needed","recognition_status":"not_needed","updated_at":"2026-06-05T13:18:59.765147+00:00","tier_text":"hub"},"tier":"hub","role_counts":[{"context_role":"background","n":4},{"context_role":"baseline","n":1},{"context_role":"dataset","n":1}],"polarity_counts":[{"context_polarity":"background","n":3},{"context_polarity":"baseline","n":1},{"context_polarity":"support","n":1},{"context_polarity":"use_dataset","n":1}],"runs":{},"summary":{},"graph":{},"authors":[]}}