{"as_of":"2026-08-19T00:09:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a09d7ec5a39d7404a7acb42daa37db06e0f0f62b51970c442a4906291276aad5","coverage":[{"denominator":57,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":57,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T10:36:46.266896Z","state":"measured"},{"denominator":60,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":60,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-18T06:34:40.430872+00:00","state":"measured"},{"denominator":3,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":3,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T14:40:27.667620Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-06-29T16:53:40.593038Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"cited_work":{"arxiv_id":"2504.17723","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2504.17723","snapshot_observed_at":"2026-06-29T16:53:40.593038Z","title":"Towards robust LLMs: An adversarial robustness measurement framework","venue":null,"work_id":"6e9922f8-c4fb-460d-863e-0105e6c6b21b","year":2025},"citing_paper":{"arxiv_id":"2604.09606","last_updated":"2026-03-10T20:23:01Z","snapshot_observed_at":"2026-08-16T10:28:12.322892Z","submitted_at":"2026-03-10T20:23:01Z","title":"Evaluating Reliability Gaps in Large Language Model Safety via Repeated Prompt Sampling","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-15T12:52:15.996149Z"},"links":{"cited_paper":"/paper/2504.17723","citing_paper":"/paper/2604.09606"},"observation_digest":"sha256:a3c881a65d164c032ffd72bf67860ba9e79fdf63a382bfd2f08404bb298317c0","observation_id":"4bc28923-a733-4039-be3a-fb40308c8054","resolution":{"observed_at":"2026-05-15T12:55:37.958423Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"cited_work":{"arxiv_id":"2504.17723","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2504.17723","snapshot_observed_at":"2026-06-29T16:53:40.593038Z","title":"Towards robust LLMs: An adversarial robustness measurement framework","venue":null,"work_id":"6e9922f8-c4fb-460d-863e-0105e6c6b21b","year":2025},"citing_paper":{"arxiv_id":"2605.27209","last_updated":"2026-05-26T16:02:00Z","snapshot_observed_at":"2026-08-13T12:46:09.126090Z","submitted_at":"2026-05-26T16:02:00Z","title":"Learning to Act under Noise: Enhancing Agent Robustness via Noisy Environments","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-06-29T16:51:36.524194Z"},"links":{"cited_paper":"/paper/2504.17723","citing_paper":"/paper/2605.27209"},"observation_digest":"sha256:1cc436619588a89519222fdd44877a5303cb87cd68221b3317c3bbde85172b00","observation_id":"18ac6053-ae45-400d-9a6f-a88958f5dad7","resolution":{"observed_at":"2026-06-29T16:53:40.595190Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.17723","snapshot_observed_at":"2026-08-02T14:40:27.667620Z","title":"Towards robust llms: an adversarial robustness measurement framework,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.14113","last_updated":"2026-05-08T08:03:47Z","snapshot_observed_at":"2026-08-16T23:49:44.538165Z","submitted_at":"2026-05-08T08:03:47Z","title":"T5-CSBoost: Adversarial Perturbation Resistant LLM Fingerprinting","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-02T14:40:27.667620Z"},"links":{"cited_paper":"/paper/2504.17723","citing_paper":"/paper/2607.14113"},"observation_digest":"sha256:6f98433d49d54671118c21d610faa4392765ad142fd6ac282ba0abaeeec55d71","observation_id":"cf8eecc0-b468-4e56-b9dc-db5a2e87ba74","resolution":{"observed_at":"2026-08-02T14:40:27.667620Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2504.17723/citation-record","integrity":"/paper/2504.17723/integrity","json":"/paper/2504.17723/citation-record.json","paper":"/paper/2504.17723"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:48.428005Z","title":null,"venue":null,"work_id":"b4536de1-1804-4ecf-9f45-c5657d56acc4","year":2011},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:45.723055Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:bc5c7b900d130e8b66bd4da7d5aab0a92a2b030a59a0c6d817c88bf403789ec1","observation_id":"d8f4016c-144c-4aee-b16c-2480cda54066","resolution":{"observed_at":"2026-08-16T10:36:48.433993Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:48.404409Z","title":null,"venue":null,"work_id":"cd49d0ec-e22f-421f-8a21-a3000ec88d5b","year":2023},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:45.730095Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:3e4bb479f5bfb500dfffc5851a197b00f4ccbc795fe6e607d052b1764e766a6d","observation_id":"0a98e756-4bb0-443a-9510-1998928bd10b","resolution":{"observed_at":"2026-08-16T10:36:48.411726Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:48.379856Z","title":"MZ Computing Journal5(2) (2024)","venue":null,"work_id":"920f9d0d-a488-44aa-9044-652df5afd663","year":2024},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:45.736955Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:48160f771a01edd2eefd7528e6158f23c5b34281f4fcfe694f39611230431347","observation_id":"11bcfd1e-ab45-433d-9cb6-be495e964c17","resolution":{"observed_at":"2026-08-16T10:36:48.386884Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:48.350699Z","title":"Journal of the American Statistical Association77(377), 209–210 (1982)","venue":null,"work_id":"d8639555-a94f-405a-841e-9117d1f50717","year":1982},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:45.743145Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:a27f59e78bfa0d86543f28fbcfb5981d06ef7446092b45f07e218db9f8e2f06c","observation_id":"2eaefe91-dba1-4f7f-999f-2cf519f9eeff","resolution":{"observed_at":"2026-08-16T10:36:48.358031Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2312.16760","last_updated":"2023-12-28T00:46:35Z","snapshot_observed_at":"2026-08-16T14:31:18.143526Z","submitted_at":"2023-12-28T00:46:35Z","title":"The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.16760","snapshot_observed_at":"2026-08-16T10:36:45.749015Z","title":"Verification of Neural Networks Competition (VNN-COMP): Summary and Results (2023), Technical Report","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:45.749015Z"},"links":{"cited_paper":"/paper/2312.16760","citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:d427f95b45017d416b2ce81acc85fe215338ee7e6672e4c90a941b77ffdcca6e","observation_id":"1234d978-3f6c-4ff1-8908-c70ec7523238","resolution":{"observed_at":"2026-08-16T10:36:45.749015Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1709.10207","last_updated":"2018-02-20T05:35:36Z","snapshot_observed_at":"2026-08-14T20:28:33.506213Z","submitted_at":"2017-09-29T00:57:12Z","title":"Provably Minimally-Distorted Adversarial Examples","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1709.10207","snapshot_observed_at":"2026-08-16T10:36:45.757871Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:45.757871Z"},"links":{"cited_paper":"/paper/1709.10207","citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:d57ebe51ea11dfac559302a8b7bb8dd6da14b94c9f2c2229363422cbce18866f","observation_id":"a92a2b79-9685-4953-9617-7085aea3525f","resolution":{"observed_at":"2026-08-16T10:36:45.757871Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:48.322478Z","title":"In: Proc","venue":null,"work_id":"3b0a332e-f5fa-476d-bb02-76e3df7b7d33","year":2024},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:45.766557Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:cea86ebf4e5f1a4356369877ab3f4f2aa6db7afe4833484c02a97b832455fd81","observation_id":"b176a347-c6f7-46b6-9981-0ed4706b089b","resolution":{"observed_at":"2026-08-16T10:36:48.328829Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:48.302251Z","title":"In: Proc","venue":null,"work_id":"078a16cf-5ab1-4aaa-ac98-12ca1a0889a0","year":2019},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:45.771997Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:97e824fcc549e52febc6e76d8440af04e35731393324f8b77ec8bb49e43888e2","observation_id":"019b70ed-2e7b-418e-8865-2b4a61a928e8","resolution":{"observed_at":"2026-08-16T10:36:48.309034Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1810.04805","last_updated":"2019-05-24T20:37:26Z","snapshot_observed_at":"2026-08-14T18:16:28.847993Z","submitted_at":"2018-10-11T00:50:01Z","title":"BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1810.04805","snapshot_observed_at":"2026-08-16T10:36:45.780090Z","title":"http://arxiv.org/abs/1810.04805","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:45.780090Z"},"links":{"cited_paper":"/paper/1810.04805","citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:33c2a02a7c7e3ddfb9f2251da0477afb1cb9407e788e8a2d9eba109fc2bd5a77","observation_id":"db2f4104-8d33-4da1-b6ce-ef170c1e6282","resolution":{"observed_at":"2026-08-16T10:36:45.780090Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2107.13541","last_updated":"2021-07-28T17:55:08Z","snapshot_observed_at":"2026-08-16T18:06:51.344777Z","submitted_at":"2021-07-28T17:55:08Z","title":"Towards Robustness Against Natural Language Word Substitutions","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2107.13541","snapshot_observed_at":"2026-08-16T10:36:45.786006Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:45.786006Z"},"links":{"cited_paper":"/paper/2107.13541","citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:de08bf632e8560f84ac2bf8715b627bfebeeb6eb602898928feb0c718efc709c","observation_id":"294ea644-8249-4a32-ab58-9b8f0e1255a0","resolution":{"observed_at":"2026-08-16T10:36:45.786006Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:48.282035Z","title":null,"venue":null,"work_id":"e14039b0-a905-44a1-ba00-e983f245aab5","year":2024},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:45.792370Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:a0489aa0c7c7aeb05c4c4b2593ca781aafc6b51e511424a7e934248faab54578","observation_id":"72e24dad-67ef-47d3-80bb-c8eaaf8aa754","resolution":{"observed_at":"2026-08-16T10:36:48.287896Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1412.6572","last_updated":"2015-03-20T20:19:16Z","snapshot_observed_at":"2026-08-12T17:13:46.394331Z","submitted_at":"2014-12-20T01:17:12Z","title":"Explaining and Harnessing Adversarial Examples","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1412.6572","snapshot_observed_at":"2026-08-16T10:36:45.801347Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:45.801347Z"},"links":{"cited_paper":"/paper/1412.6572","citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:a4e51410b5715871dc4f254ca69e0c62db68d88a6a9c224c3db448d478eeeb92","observation_id":"a53c2f9a-b480-49f1-ac58-e118b3340775","resolution":{"observed_at":"2026-08-16T10:36:45.801347Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:48.249105Z","title":"In: Proc","venue":null,"work_id":"a3270109-ccc5-4931-8667-a271f51637da","year":2017},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:45.807608Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:b7a3743312baa30a76a54df201ee860aa3217c437a3585e538a95cecaa8a8515","observation_id":"6a93c6f4-7b0a-44c2-adc8-a236908a8510","resolution":{"observed_at":"2026-08-16T10:36:48.261862Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2211.02351","last_updated":"2022-11-04T10:19:41Z","snapshot_observed_at":"2026-08-16T16:18:38.374889Z","submitted_at":"2022-11-04T10:19:41Z","title":"Management and Detection System for Medical Surgical Equipment","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2211.02351","snapshot_observed_at":"2026-08-16T10:36:45.815123Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:45.815123Z"},"links":{"cited_paper":"/paper/2211.02351","citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:f4e48c272c5c6394b2971f4d445b12df155423ae6073325279775f60c6877e36","observation_id":"961df4b8-dcc0-4c8e-95e7-e2f373d93090","resolution":{"observed_at":"2026-08-16T10:36:45.815123Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:48.225059Z","title":"In: Proc","venue":null,"work_id":"103c3135-879b-4b77-b5df-90bff50ea03c","year":2024},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:45.833985Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:b6c1603302fa0d1d62fcceb81b17ca8e0971e0b3364a904d32c6d2ddcfccef1d","observation_id":"b9c180d6-daef-4faf-832d-db5043dbc7dc","resolution":{"observed_at":"2026-08-16T10:36:48.231582Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:48.204854Z","title":"In: Proc","venue":null,"work_id":"a1638b40-0fad-40b9-a803-f770ab01653c","year":2024},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:45.845181Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:1a20b5ff0ca7319cf68165b3fc6add754f3f1fa9e5f76db8ba862b06ca1e251c","observation_id":"1ea0e8df-c4f6-48a6-a680-d4a274332d24","resolution":{"observed_at":"2026-08-16T10:36:48.211607Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:48.183157Z","title":"In: Proc","venue":null,"work_id":"7be705f3-bb56-4084-ba14-47482b3771c1","year":2021},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:45.852046Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:9bdc490856a8f2f558cd111abf74eb614a727e4296330ebb772ac0ea7acefd90","observation_id":"bed43622-4dda-4ce3-a3db-f9af1e84c5d9","resolution":{"observed_at":"2026-08-16T10:36:48.189927Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:48.147790Z","title":"In: IEEE/RSJ Int","venue":null,"work_id":"7bc91544-5b6c-4f21-a30a-d52758bb6840","year":2024},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:45.859645Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:22bd3c5c1d91a47edcaec5841703cf615788274bc797f58e78a63639aa723c54","observation_id":"113e252c-5fbf-46ef-b05d-1aa1d362333f","resolution":{"observed_at":"2026-08-16T10:36:48.155731Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:48.127079Z","title":"In: Proc","venue":null,"work_id":"6ac8292a-d58f-41dd-a9d2-e50a38971f17","year":2020},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:45.866524Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:e9147adbf089672736cd47d0e8e4f465e8d55f4b947cb731a719ec06a64a5ff3","observation_id":"2e4e056f-7072-4a84-b813-215ff45fccaa","resolution":{"observed_at":"2026-08-16T10:36:48.132881Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2005.01229","last_updated":"2020-05-04T01:28:18Z","snapshot_observed_at":"2026-08-18T08:47:04.833825Z","submitted_at":"2020-05-04T01:28:18Z","title":"Robust Encodings: A Framework for Combating Adversarial Typos","version":1},"cited_work":{"arxiv_id":"2005.01229","doi":null,"metadata_source":"pith","pith_arxiv_id":"2005.01229","snapshot_observed_at":"2026-08-16T10:36:47.021712Z","title":"Robust Encodings: A Framework for Combating Adversarial Typos","venue":"cs.CL","work_id":"021fdef3-ce18-4c96-85a9-f1afe5ca88a4","year":2020},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:45.876775Z"},"links":{"cited_paper":"/paper/2005.01229","citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:81f7c5401aeb90cf9479775b532e4c650f9235126de87d2dd4cf992d27c4b19d","observation_id":"37a897b4-e4eb-4ad7-b75d-6f6a521e2661","resolution":{"observed_at":"2026-08-16T10:36:47.036800Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:48.107170Z","title":"Journal of Guidance, Control, and Dynamics 42(3), 598–608 (2019)","venue":null,"work_id":"8d14b706-ebe3-4a7c-863a-4cd659601a41","year":2019},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:45.885132Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:29e1d59a05933dca90b61650aa4da960cbfdadbaa34dbee5d3d9966fad09c007","observation_id":"56cc92af-2714-4f9e-8a63-bd57d6cff5f0","resolution":{"observed_at":"2026-08-16T10:36:48.115701Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:48.084332Z","title":"In: Proc","venue":null,"work_id":"a4a2f927-31c6-4c31-aeda-ddb5d24f7ca5","year":2017},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:45.899167Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:4656062e012fbdedcca7a21bef5086fabcebe80cdf9257c16006c7838437b25c","observation_id":"55728a7f-0346-4523-82b2-87a430c60aa5","resolution":{"observed_at":"2026-08-16T10:36:48.089707Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:48.049530Z","title":"Formal Methods in System Design (FMSD) (2021) Statistical Runtime Verification for LLMs via Robustness Estimation 19","venue":null,"work_id":"856c1917-71bc-4a82-97f5-18c2ae2c462c","year":2021},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:45.905116Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:00783bf8e78c1e134c83b31cd84d1ac71f2e2a8badec60f4441f524325f0152f","observation_id":"781b60bb-23af-4390-a404-23f58d8013cb","resolution":{"observed_at":"2026-08-16T10:36:48.055842Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:45.915197Z","title":"In: Proc","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:45.915197Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:7459ddc5120a6240ef2bddc3203015e7fb27bc03320a71489a73f9b60e65cd87","observation_id":"cba4bfbf-6cd7-4674-aa71-0b864dcc5cb7","resolution":{"observed_at":"2026-08-16T10:36:45.915197Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:48.001435Z","title":"In: Proc","venue":null,"work_id":"135f13e8-db79-45e9-b318-56ff0263b9e7","year":2024},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:45.923241Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:be0596c0c65d3aa47b6ace0b3a342cb3e04c57a9420cbb497589d23ade49dbf8","observation_id":"e3b44513-7beb-4b7f-9b1b-9a1c8e4999cf","resolution":{"observed_at":"2026-08-16T10:36:48.013096Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:47.950277Z","title":"In: Proc","venue":null,"work_id":"d587910a-ff90-4a4d-ad69-56d431866bd7","year":2021},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:45.928425Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:855a773a6e3987ee8d5ce8c0759cd0edcbe3ba99838d9a7791ded1830a440001","observation_id":"84bbc79b-4505-40f5-8b22-59dc73d81af9","resolution":{"observed_at":"2026-08-16T10:36:47.967451Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:47.915990Z","title":null,"venue":null,"work_id":"d7b94c7e-8338-454c-a0f6-b0163cf3d880","year":2011},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:45.939349Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:2576f25fff92d33c4890290cd1dc70f47ac38720a1b462f30c2af98bee6767ef","observation_id":"fc64ff23-d6e7-45ee-b770-d8241a77537a","resolution":{"observed_at":"2026-08-16T10:36:47.926694Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:47.875824Z","title":null,"venue":null,"work_id":"e0e01a96-f6ae-4027-8a02-3463b5468cbf","year":2024},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:45.946623Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:2d89a9d6b8758e9b10c8134240e785a24939cc785fa63aac582240959c3bf9d8","observation_id":"f34a2add-5a9e-454a-8999-b9ca849ef0ab","resolution":{"observed_at":"2026-08-16T10:36:47.886765Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:47.841865Z","title":"In: Proc","venue":null,"work_id":"93bfab57-c1c9-4d78-819e-2b89b9630710","year":2021},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:45.954274Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:e14654e39f8634d027e9ef1751a9629af9fb57c65decfb0c3d89b833aa80c189","observation_id":"ffe2459e-1667-4019-a1e2-6ec6b49514fb","resolution":{"observed_at":"2026-08-16T10:36:47.849191Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:47.820694Z","title":"In: Proc","venue":null,"work_id":"14cab9c2-02dc-4fd0-b40b-e47504d35d2e","year":2023},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:45.959921Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:1a4b6cc9f202cf84acba23252b5b5b965b4c06bbe7f4cc6bf8c081df90b7fb1c","observation_id":"a1b2a03f-ffef-447d-a4f1-c006c4486ff8","resolution":{"observed_at":"2026-08-16T10:36:47.826937Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:47.801326Z","title":"In: Proc","venue":null,"work_id":"c8ac8f99-b304-45a9-913d-65b3b1ab4d1c","year":2025},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:45.968276Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:c06f646d43a27aaa63e9ea30c39e997b6b4d8ae286da3fa6d0d8c3196d1cdf85","observation_id":"7fda80cd-3336-4b61-aefb-2753ff130b15","resolution":{"observed_at":"2026-08-16T10:36:47.806510Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2301.07068","last_updated":"2023-06-19T13:13:38Z","snapshot_observed_at":"2026-08-18T08:41:55.257171Z","submitted_at":"2023-01-17T18:32:01Z","title":"The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks","version":4},"cited_work":{"arxiv_id":"2301.07068","doi":null,"metadata_source":"pith","pith_arxiv_id":"2301.07068","snapshot_observed_at":"2026-08-16T10:36:46.991923Z","title":"The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks","venue":"cs.AI","work_id":"c01be27f-46b0-448d-8a3e-1a73b8d22d2e","year":2023},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:45.981499Z"},"links":{"cited_paper":"/paper/2301.07068","citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:e228d894c42f6ea7797e55b5c2f1069c929e3292415f3e592182490eb8c548a5","observation_id":"27b7affd-c145-4682-9c02-b1ef84c44371","resolution":{"observed_at":"2026-08-16T10:36:46.997709Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1301.3781","last_updated":"2013-09-07T00:30:40Z","snapshot_observed_at":"2026-07-06T03:04:11.148340Z","submitted_at":"2013-01-16T18:24:43Z","title":"Efficient Estimation of Word Representations in Vector Space","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1301.3781","snapshot_observed_at":"2026-08-16T10:36:45.990054Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:45.990054Z"},"links":{"cited_paper":"/paper/1301.3781","citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:e5d591238f5d61c5ad1aeeea44d69f93d3829b7a1ae2adc5262685a369de2151","observation_id":"8b2916d7-59e8-4a49-8e38-1348cd73035f","resolution":{"observed_at":"2026-08-16T10:36:45.990054Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2005.05909","last_updated":"2020-10-05T00:10:24Z","snapshot_observed_at":"2026-08-18T03:04:28.486504Z","submitted_at":"2020-04-29T21:33:35Z","title":"TextAttack: A Framework for Adversarial Attacks, Data Augmentation, and Adversarial Training in NLP","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2005.05909","snapshot_observed_at":"2026-08-16T10:36:45.998864Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:45.998864Z"},"links":{"cited_paper":"/paper/2005.05909","citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:707857b72758a998ae2e6d53aff3aa4e539a4c526d963bfb325eb283fdd97fd2","observation_id":"da6430d9-597b-4cef-af04-018df6dc7457","resolution":{"observed_at":"2026-08-16T10:36:45.998864Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.08774","last_updated":"2024-03-04T06:01:33Z","snapshot_observed_at":"2026-08-17T09:58:46.058102Z","submitted_at":"2023-03-15T17:15:04Z","title":"GPT-4 Technical Report","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.08774","snapshot_observed_at":"2026-08-16T10:36:46.026937Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:46.026937Z"},"links":{"cited_paper":"/paper/2303.08774","citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:dbede3e4c69d7fda182f74ac61134eb7d63180fc60427cc4729706f4b9e9e43e","observation_id":"deb4c98e-5fa5-4a25-ac7e-7e52b4a6a56c","resolution":{"observed_at":"2026-08-16T10:36:46.026937Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:47.755706Z","title":null,"venue":null,"work_id":"185f049f-4d32-49c1-8afd-1bf07de81440","year":2025},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:46.046624Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:6011e9ffa0fcb676068bee7c8aacec8c7d942c5967b673b2383816429ee741e2","observation_id":"a39d1457-8b3a-4eb3-a529-f960831df9a7","resolution":{"observed_at":"2026-08-16T10:36:47.768096Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:47.710077Z","title":"In: Proc","venue":null,"work_id":"36203afa-206e-48e7-aab9-ccf305388e96","year":2019},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:46.052121Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:bbf4327b9cb005c11d28abce0b7e8886b2cd6af9233164f55f58488b5a6ffbcf","observation_id":"1fd1e103-3789-4494-9e40-ad3fe0951efa","resolution":{"observed_at":"2026-08-16T10:36:47.729435Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:47.677164Z","title":"In: Proc","venue":null,"work_id":"0d6ea15c-5e5c-41f5-89a7-4b610fce71b9","year":2014},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:46.059434Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:06c3622a4b765c3a5e72ca8d8375893527da19f686c6a44766bc17d53ae60232","observation_id":"890f5979-9d19-4e08-99e6-5046ec517a57","resolution":{"observed_at":"2026-08-16T10:36:47.685038Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:47.641094Z","title":"Scientific Reports 15(1), 9378 (2025)","venue":null,"work_id":"ceaf55ae-45ef-4e01-99f7-c62702ef9439","year":2025},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:46.071441Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:3d88212d9c644be2053b7c374cd097a91178b21363dec02705e6e0f5b5f7c938","observation_id":"a85518c1-3dcb-4f0d-85c3-bba3ad573d53","resolution":{"observed_at":"2026-08-16T10:36:47.646446Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1910.10683","last_updated":"2023-09-19T15:14:48Z","snapshot_observed_at":"2026-08-14T16:16:21.567225Z","submitted_at":"2019-10-23T17:37:36Z","title":"Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformer","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1910.10683","snapshot_observed_at":"2026-08-16T10:36:46.080724Z","title":"Levy et al","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:46.080724Z"},"links":{"cited_paper":"/paper/1910.10683","citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:ddbce581d5cc6e5913b3eed7a107bfa7dd1dfd7d5016174c571a0a093e614f07","observation_id":"091fddfd-e0d5-434b-a1fa-de8b845e70bc","resolution":{"observed_at":"2026-08-16T10:36:46.080724Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.10403","last_updated":"2023-09-13T20:35:45Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-05-17T17:46:53Z","title":"PaLM 2 Technical Report","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.10403","snapshot_observed_at":"2026-08-16T10:36:46.092626Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:46.092626Z"},"links":{"cited_paper":"/paper/2305.10403","citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:66c0a90189bc6cf83d07e39b5d4f5c8adec9fce09c4f82074b4969b29ff98c96","observation_id":"2d2adfc5-11b0-446a-93a6-ab8df7fe67c9","resolution":{"observed_at":"2026-08-16T10:36:46.092626Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:47.598886Z","title":"25th Int","venue":null,"work_id":"b6088e71-f64d-4cde-a27c-676fa6a3e2f3","year":2024},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:46.108262Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:cc0cf54680ae4f87594f865a4576615e89aaf32a83b4432eeebe25582f53fdf6","observation_id":"3da82225-c88f-4b99-9cfe-005a80b20105","resolution":{"observed_at":"2026-08-16T10:36:47.610960Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:47.532950Z","title":"Future Internet15(6), 192 (2023)","venue":null,"work_id":"e3fad869-322c-4aa1-a084-9b40aeaf9e18","year":2023},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:46.120482Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:d3f1966255c6ad989a16d84dede18a677a9d9a40c2d67e4ad5818724ed9939e8","observation_id":"cf91c5cb-3ccf-44c0-bbb1-bad215261a27","resolution":{"observed_at":"2026-08-16T10:36:47.550898Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1805.02917","last_updated":"2018-05-08T09:27:46Z","snapshot_observed_at":"2026-08-14T19:17:42.247729Z","submitted_at":"2018-05-08T09:27:46Z","title":"Interpretable Adversarial Perturbation in Input Embedding Space for Text","version":1},"cited_work":{"arxiv_id":"1805.02917","doi":null,"metadata_source":"pith","pith_arxiv_id":"1805.02917","snapshot_observed_at":"2026-08-16T10:36:46.774294Z","title":"Interpretable Adversarial Perturbation in Input Embedding Space for Text","venue":"cs.LG","work_id":"7ff015f4-d7ab-4f74-b843-49fc1b8a3150","year":2018},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:46.129202Z"},"links":{"cited_paper":"/paper/1805.02917","citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:358ef56622a893e247386821eefa7271ea300212811ffefcd4cbf506f5585d1f","observation_id":"0fb83efb-2fd4-410a-ae7e-92bf4e434158","resolution":{"observed_at":"2026-08-16T10:36:46.786238Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:46.141156Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:46.141156Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:463260639c083152c4db0e69e1e8ec97203d19e977f6af536f046354c5110515","observation_id":"814ec128-bb95-4eab-954e-c6777c5d9010","resolution":{"observed_at":"2026-08-16T10:36:46.141156Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:47.455276Z","title":"and Ng, Andrew and Potts, Christopher: Recursive Deep Models for Semantic Compositionality Over a Sentiment Treebank","venue":null,"work_id":"b02bf83c-438e-4822-80af-40ead23fd1ae","year":2013},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:46.153248Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:63e3ccb6dda496d6fc4c3d53e0e0c181b2e577785ac6d17f28d263470a63fe36","observation_id":"b8312421-7488-4441-b3ea-5b36b1252b42","resolution":{"observed_at":"2026-08-16T10:36:47.469149Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1907.02477","last_updated":"2019-08-15T16:49:16Z","snapshot_observed_at":"2026-08-15T08:11:51.779864Z","submitted_at":"2019-07-04T16:15:35Z","title":"Adversarial Attacks in Sound Event Classification","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1907.02477","snapshot_observed_at":"2026-08-16T10:36:46.165595Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:46.165595Z"},"links":{"cited_paper":"/paper/1907.02477","citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:54985a997d4db9cb9aca9f1ebb9a4a12aa8799cf479ea2abe6dabf2b6992c5e5","observation_id":"418633c5-d4b1-47ad-a51b-86c29e44b36e","resolution":{"observed_at":"2026-08-16T10:36:46.165595Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:47.415355Z","title":null,"venue":null,"work_id":"99558539-d67d-4aa7-b8d0-0ec33cc27c60","year":2011},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:46.173685Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:b61c7896c025bbd7a82a2bb3b89e0dfa8f419312e423675382de2a795d7fc26f","observation_id":"fefdfe4b-7833-456a-93b8-257585d732bf","resolution":{"observed_at":"2026-08-16T10:36:47.421722Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2302.13971","last_updated":"2023-02-27T17:11:15Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-02-27T17:11:15Z","title":"LLaMA: Open and Efficient Foundation Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.13971","snapshot_observed_at":"2026-08-16T10:36:46.179874Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:46.179874Z"},"links":{"cited_paper":"/paper/2302.13971","citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:9afc20017cd131cebfe449f766d25e0db461b215d409b1574ff132ee0c8acec3","observation_id":"c14508c6-0fd0-46af-9a88-4589545655f4","resolution":{"observed_at":"2026-08-16T10:36:46.179874Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:47.394132Z","title":"In: Proc","venue":null,"work_id":"474d26f3-2da6-461d-85df-57a464ed2925","year":2018},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:46.188890Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:ed4fa85c924557665deb9f55fa4d579bc5d83d9ea1f03f7c4768dc9faf73dd2f","observation_id":"9afcbeed-29ac-44d6-8204-942ea29f6c88","resolution":{"observed_at":"2026-08-16T10:36:47.402464Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2111.02840","last_updated":"2022-01-10T06:05:16Z","snapshot_observed_at":"2026-08-16T17:44:02.805525Z","submitted_at":"2021-11-04T12:59:55Z","title":"Adversarial GLUE: A Multi-Task Benchmark for Robustness Evaluation of Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2111.02840","snapshot_observed_at":"2026-08-16T10:36:46.197557Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:46.197557Z"},"links":{"cited_paper":"/paper/2111.02840","citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:45c5fde147879738b4adc561a05cc1575ab6ce681675fe32189e4af657038b1b","observation_id":"e6252a3b-3d63-4dc0-af98-a31f760fb07f","resolution":{"observed_at":"2026-08-16T10:36:46.197557Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:47.368386Z","title":"In: Proc","venue":null,"work_id":"0e086014-8989-484e-9d24-aa044cdb3c9b","year":2021},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:46.206994Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:c8d0d16628c31d7f280c1b45d290a8ff190d70090562b670e0a555131dc6ec78","observation_id":"e570bd51-2d23-4934-91d3-aa5752671183","resolution":{"observed_at":"2026-08-16T10:36:47.379069Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.11020","last_updated":"2024-06-16T17:26:44Z","snapshot_observed_at":"2026-08-16T13:42:31.350177Z","submitted_at":"2024-06-16T17:26:44Z","title":"RUPBench: Benchmarking Reasoning Under Perturbations for Robustness Evaluation in Large Language Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.11020","snapshot_observed_at":"2026-08-16T10:36:46.216027Z","title":"https://arxiv.org/abs/2406.11020","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:46.216027Z"},"links":{"cited_paper":"/paper/2406.11020","citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:004b37a58d0c5ca20a5a6dae0f305fc5c9f61c77caf3678bc617826a5fc40a99","observation_id":"aa4dcf69-077d-49ba-8cdc-3ef7994a1ff0","resolution":{"observed_at":"2026-08-16T10:36:46.216027Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:47.337035Z","title":"In: Proc","venue":null,"work_id":"1f260cab-4009-40c3-9da9-ac2bac7dad62","year":2019},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:46.239609Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:65819b1e9a23b42787a6d009e3a7e1c05a49a0f0532b8af075c9c462e05786ed","observation_id":"494d085c-5a71-4663-a0b4-e5eed487940c","resolution":{"observed_at":"2026-08-16T10:36:47.346537Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:36:47.256611Z","title":"In: Proc","venue":null,"work_id":"7eeb2bd1-5519-4648-a664-2c4d042c9190","year":2024},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:46.254974Z"},"links":{"citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:6c32d3db1222a3fe48a4daa5368a4e4cf1983c9ee60419834f6ec7933e2e5e12","observation_id":"3bc58cbe-0888-4c29-8134-b929dd98122f","resolution":{"observed_at":"2026-08-16T10:36:47.264195Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1705.10941","last_updated":"2017-05-31T04:56:25Z","snapshot_observed_at":"2026-08-18T07:03:56.924363Z","submitted_at":"2017-05-31T04:56:25Z","title":"Spectral Norm Regularization for Improving the Generalizability of Deep Learning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1705.10941","snapshot_observed_at":"2026-08-16T10:36:46.259942Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:46.259942Z"},"links":{"cited_paper":"/paper/1705.10941","citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:d70c006e20b3db42d49e322d741ab63a1dbec624b505aba4eee3bd95d144c030","observation_id":"dd015854-d016-4639-943c-eb1e434de38d","resolution":{"observed_at":"2026-08-16T10:36:46.259942Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.18223","last_updated":"2026-03-18T05:34:39Z","snapshot_observed_at":"2026-08-14T10:40:26.323157Z","submitted_at":"2023-03-31T17:28:46Z","title":"A Survey of Large Language Models","version":19},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.18223","snapshot_observed_at":"2026-08-16T10:36:46.266896Z","title":"https://arxiv.org/abs/2303.18223","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation","version":2},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-16T10:36:46.266896Z"},"links":{"cited_paper":"/paper/2303.18223","citing_paper":"/paper/2504.17723"},"observation_digest":"sha256:a41cc2358215214ed6a681574e6e0f635eaf34be1dc27a1b7a61e8d24dc5c6bc","observation_id":"6026a9e0-5982-4fc0-b6e2-0e703c922dfb","resolution":{"observed_at":"2026-08-16T10:36:46.266896Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2504.17723","last_updated":"2025-07-24T08:03:09Z","latest_version":2,"primary_category":"cs.LG","snapshot_observed_at":"2026-08-18T07:07:02.037816Z","submitted_at":"2025-04-24T16:36:19Z","title":"Statistical Runtime Verification for LLMs via Robustness Estimation"},"reference_resolution":{"displayed":57,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":26,"verified_exact":3,"verified_fuzzy":28},"total_outbound_references":57},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"As of 19 August 2026, this Paper Citation Record lists 57 of 57 outbound references and 3 inbound Pith citation observations for arXiv:2504.17723."}