Paper Citation Record · LEDGER

Statistical Runtime Verification for LLMs via Robustness Estimation

As of 18 August 2026, this Paper Citation Record lists 57 of 57 outbound references and 3 inbound Pith citation observations for arXiv:2504.17723.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2504.17723 v2

Coverage vector

measured 57 of 57 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-16T10:36:46.266896Z

measured 60 of 60 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00

measured 3 of 3 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-02T14:40:27.667620Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-06-29T16:53:40.593038Z

Reference resolution

57 of 57 outbound references displayed

verified exact3
verified fuzzy28
unresolved26
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation d8f4016c-144c-4aee-b16c-2480cda54066 · outbound

This paper cites an unresolved cited work.

Statistical Runtime Verification for LLMs via Robustness Estimation Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-16T10:36:48.433993Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 0a98e756-4bb0-443a-9510-1998928bd10b · outbound

This paper cites an unresolved cited work.

Statistical Runtime Verification for LLMs via Robustness Estimation Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-16T10:36:48.411726Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 11bcfd1e-ab45-433d-9cb6-be495e964c17 · outbound

This paper cites MZ Computing Journal5(2) (2024).

Statistical Runtime Verification for LLMs via Robustness Estimation MZ Computing Journal5(2) (2024)

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:36:48.386884Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 2eaefe91-dba1-4f7f-999f-2cf519f9eeff · outbound

This paper cites Journal of the American Statistical Association77(377), 209–210 (1982).

Statistical Runtime Verification for LLMs via Robustness Estimation Journal of the American Statistical Association77(377), 209–210 (1982)

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:36:48.358031Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 1234d978-3f6c-4ff1-8908-c70ec7523238 · outbound

This paper cites The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results.

Statistical Runtime Verification for LLMs via Robustness Estimation The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-16T10:36:45.749015Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a92a2b79-9685-4953-9617-7085aea3525f · outbound

This paper cites Provably Minimally-Distorted Adversarial Examples.

Statistical Runtime Verification for LLMs via Robustness Estimation Provably Minimally-Distorted Adversarial Examples

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-16T10:36:45.757871Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b176a347-c6f7-46b6-9981-0ed4706b089b · outbound

This paper cites In: Proc.

Statistical Runtime Verification for LLMs via Robustness Estimation In: Proc

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:36:48.328829Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 019b70ed-2e7b-418e-8865-2b4a61a928e8 · outbound

This paper cites In: Proc.

Statistical Runtime Verification for LLMs via Robustness Estimation In: Proc

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:36:48.309034Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation db2f4104-8d33-4da1-b6ce-ef170c1e6282 · outbound

This paper cites BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding.

Statistical Runtime Verification for LLMs via Robustness Estimation BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-16T10:36:45.780090Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 294ea644-8249-4a32-ab58-9b8f0e1255a0 · outbound

This paper cites Towards Robustness Against Natural Language Word Substitutions.

Statistical Runtime Verification for LLMs via Robustness Estimation Towards Robustness Against Natural Language Word Substitutions

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-16T10:36:45.786006Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 72e24dad-67ef-47d3-80bb-c8eaaf8aa754 · outbound

This paper cites an unresolved cited work.

Statistical Runtime Verification for LLMs via Robustness Estimation Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-16T10:36:48.287896Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation a53c2f9a-b480-49f1-ac58-e118b3340775 · outbound

This paper cites Explaining and Harnessing Adversarial Examples.

Statistical Runtime Verification for LLMs via Robustness Estimation Explaining and Harnessing Adversarial Examples

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-16T10:36:45.801347Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a93c6f4-7b0a-44c2-adc8-a236908a8510 · outbound

This paper cites In: Proc.

Statistical Runtime Verification for LLMs via Robustness Estimation In: Proc

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:36:48.261862Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 961df4b8-dcc0-4c8e-95e7-e2f373d93090 · outbound

This paper cites Management and Detection System for Medical Surgical Equipment.

Statistical Runtime Verification for LLMs via Robustness Estimation Management and Detection System for Medical Surgical Equipment

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-16T10:36:45.815123Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9c180d6-daef-4faf-832d-db5043dbc7dc · outbound

This paper cites In: Proc.

Statistical Runtime Verification for LLMs via Robustness Estimation In: Proc

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:36:48.231582Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 1ea0e8df-c4f6-48a6-a680-d4a274332d24 · outbound

This paper cites In: Proc.

Statistical Runtime Verification for LLMs via Robustness Estimation In: Proc

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:36:48.211607Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation bed43622-4dda-4ce3-a3db-f9af1e84c5d9 · outbound

This paper cites In: Proc.

Statistical Runtime Verification for LLMs via Robustness Estimation In: Proc

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:36:48.189927Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 113e252c-5fbf-46ef-b05d-1aa1d362333f · outbound

This paper cites In: IEEE/RSJ Int.

Statistical Runtime Verification for LLMs via Robustness Estimation In: IEEE/RSJ Int

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:36:48.155731Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 2e4e056f-7072-4a84-b813-215ff45fccaa · outbound

This paper cites In: Proc.

Statistical Runtime Verification for LLMs via Robustness Estimation In: Proc

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:36:48.132881Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 37a897b4-e4eb-4ad7-b75d-6f6a521e2661 · outbound

This paper cites Robust Encodings: A Framework for Combating Adversarial Typos.

Statistical Runtime Verification for LLMs via Robustness Estimation Robust Encodings: A Framework for Combating Adversarial Typos

Reference 20

Resolution: verified exact; local_arxiv, observed 2026-08-16T10:36:47.036800Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 56cc92af-2714-4f9e-8a63-bd57d6cff5f0 · outbound

This paper cites Journal of Guidance, Control, and Dynamics 42(3), 598–608 (2019).

Statistical Runtime Verification for LLMs via Robustness Estimation Journal of Guidance, Control, and Dynamics 42(3), 598–608 (2019)

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:36:48.115701Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 55728a7f-0346-4523-82b2-87a430c60aa5 · outbound

This paper cites In: Proc.

Statistical Runtime Verification for LLMs via Robustness Estimation In: Proc

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:36:48.089707Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 781b60bb-23af-4390-a404-23f58d8013cb · outbound

This paper cites Formal Methods in System Design (FMSD) (2021) Statistical Runtime Verification for LLMs via Robustness Estimation 19.

Statistical Runtime Verification for LLMs via Robustness Estimation Formal Methods in System Design (FMSD) (2021) Statistical Runtime Verification for LLMs via Robustness Estimation 19

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:36:48.055842Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation cba4bfbf-6cd7-4674-aa71-0b864dcc5cb7 · outbound

This paper cites In: Proc.

Statistical Runtime Verification for LLMs via Robustness Estimation In: Proc

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-16T10:36:45.915197Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e3b44513-7beb-4b7f-9b1b-9a1c8e4999cf · outbound

This paper cites In: Proc.

Statistical Runtime Verification for LLMs via Robustness Estimation In: Proc

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:36:48.013096Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 84bbc79b-4505-40f5-8b22-59dc73d81af9 · outbound

This paper cites In: Proc.

Statistical Runtime Verification for LLMs via Robustness Estimation In: Proc

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:36:47.967451Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation fc64ff23-d6e7-45ee-b770-d8241a77537a · outbound

This paper cites an unresolved cited work.

Statistical Runtime Verification for LLMs via Robustness Estimation Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-16T10:36:47.926694Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation f34a2add-5a9e-454a-8999-b9ca849ef0ab · outbound

This paper cites an unresolved cited work.

Statistical Runtime Verification for LLMs via Robustness Estimation Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-16T10:36:47.886765Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation ffe2459e-1667-4019-a1e2-6ec6b49514fb · outbound

This paper cites In: Proc.

Statistical Runtime Verification for LLMs via Robustness Estimation In: Proc

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:36:47.849191Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation a1b2a03f-ffef-447d-a4f1-c006c4486ff8 · outbound

This paper cites In: Proc.

Statistical Runtime Verification for LLMs via Robustness Estimation In: Proc

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:36:47.826937Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 7fda80cd-3336-4b61-aefb-2753ff130b15 · outbound

This paper cites In: Proc.

Statistical Runtime Verification for LLMs via Robustness Estimation In: Proc

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:36:47.806510Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 27b7affd-c145-4682-9c02-b1ef84c44371 · outbound

This paper cites The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks.

Statistical Runtime Verification for LLMs via Robustness Estimation The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks

Reference 32

Resolution: verified exact; local_arxiv, observed 2026-08-16T10:36:46.997709Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 8b2916d7-59e8-4a49-8e38-1348cd73035f · outbound

This paper cites Efficient Estimation of Word Representations in Vector Space.

Statistical Runtime Verification for LLMs via Robustness Estimation Efficient Estimation of Word Representations in Vector Space

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-16T10:36:45.990054Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation da6430d9-597b-4cef-af04-018df6dc7457 · outbound

This paper cites TextAttack: A Framework for Adversarial Attacks, Data Augmentation, and Adversarial Training in NLP.

Statistical Runtime Verification for LLMs via Robustness Estimation TextAttack: A Framework for Adversarial Attacks, Data Augmentation, and Adversarial Training in NLP

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-16T10:36:45.998864Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation deb4c98e-5fa5-4a25-ac7e-7e52b4a6a56c · outbound

This paper cites GPT-4 Technical Report.

Statistical Runtime Verification for LLMs via Robustness Estimation GPT-4 Technical Report

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-16T10:36:46.026937Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a39d1457-8b3a-4eb3-a529-f960831df9a7 · outbound

This paper cites an unresolved cited work.

Statistical Runtime Verification for LLMs via Robustness Estimation Unresolved cited work

Reference 36

Resolution: unresolved; raw_fallback, observed 2026-08-16T10:36:47.768096Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 1fd1e103-3789-4494-9e40-ad3fe0951efa · outbound

This paper cites In: Proc.

Statistical Runtime Verification for LLMs via Robustness Estimation In: Proc

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:36:47.729435Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 890f5979-9d19-4e08-99e6-5046ec517a57 · outbound

This paper cites In: Proc.

Statistical Runtime Verification for LLMs via Robustness Estimation In: Proc

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:36:47.685038Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation a85518c1-3dcb-4f0d-85c3-bba3ad573d53 · outbound

This paper cites Scientific Reports 15(1), 9378 (2025).

Statistical Runtime Verification for LLMs via Robustness Estimation Scientific Reports 15(1), 9378 (2025)

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:36:47.646446Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 091fddfd-e0d5-434b-a1fa-de8b845e70bc · outbound

This paper cites Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformer.

Statistical Runtime Verification for LLMs via Robustness Estimation Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformer

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-16T10:36:46.080724Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d2adfc5-11b0-446a-93a6-ab8df7fe67c9 · outbound

This paper cites PaLM 2 Technical Report.

Statistical Runtime Verification for LLMs via Robustness Estimation PaLM 2 Technical Report

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-16T10:36:46.092626Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3da82225-c88f-4b99-9cfe-005a80b20105 · outbound

This paper cites 25th Int.

Statistical Runtime Verification for LLMs via Robustness Estimation 25th Int

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:36:47.610960Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation cf91c5cb-3ccf-44c0-bbb1-bad215261a27 · outbound

This paper cites Future Internet15(6), 192 (2023).

Statistical Runtime Verification for LLMs via Robustness Estimation Future Internet15(6), 192 (2023)

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:36:47.550898Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 0fb83efb-2fd4-410a-ae7e-92bf4e434158 · outbound

This paper cites Interpretable Adversarial Perturbation in Input Embedding Space for Text.

Statistical Runtime Verification for LLMs via Robustness Estimation Interpretable Adversarial Perturbation in Input Embedding Space for Text

Reference 44

Resolution: verified exact; local_arxiv, observed 2026-08-16T10:36:46.786238Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 814ec128-bb95-4eab-954e-c6777c5d9010 · outbound

This paper cites an unresolved cited work.

Statistical Runtime Verification for LLMs via Robustness Estimation Unresolved cited work

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-16T10:36:46.141156Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b8312421-7488-4441-b3ea-5b36b1252b42 · outbound

This paper cites and Ng, Andrew and Potts, Christopher: Recursive Deep Models for Semantic Compositionality Over a Sentiment Treebank.

Statistical Runtime Verification for LLMs via Robustness Estimation and Ng, Andrew and Potts, Christopher: Recursive Deep Models for Semantic Compositionality Over a Sentiment Treebank

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:36:47.469149Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 418633c5-d4b1-47ad-a51b-86c29e44b36e · outbound

This paper cites Adversarial Attacks in Sound Event Classification.

Statistical Runtime Verification for LLMs via Robustness Estimation Adversarial Attacks in Sound Event Classification

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-16T10:36:46.165595Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fefdfe4b-7833-456a-93b8-257585d732bf · outbound

This paper cites an unresolved cited work.

Statistical Runtime Verification for LLMs via Robustness Estimation Unresolved cited work

Reference 48

Resolution: unresolved; raw_fallback, observed 2026-08-16T10:36:47.421722Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation c14508c6-0fd0-46af-9a88-4589545655f4 · outbound

This paper cites LLaMA: Open and Efficient Foundation Language Models.

Statistical Runtime Verification for LLMs via Robustness Estimation LLaMA: Open and Efficient Foundation Language Models

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-16T10:36:46.179874Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9afcbeed-29ac-44d6-8204-942ea29f6c88 · outbound

This paper cites In: Proc.

Statistical Runtime Verification for LLMs via Robustness Estimation In: Proc

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:36:47.402464Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation e6252a3b-3d63-4dc0-af98-a31f760fb07f · outbound

This paper cites Adversarial GLUE: A Multi-Task Benchmark for Robustness Evaluation of Language Models.

Statistical Runtime Verification for LLMs via Robustness Estimation Adversarial GLUE: A Multi-Task Benchmark for Robustness Evaluation of Language Models

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-16T10:36:46.197557Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e570bd51-2d23-4934-91d3-aa5752671183 · outbound

This paper cites In: Proc.

Statistical Runtime Verification for LLMs via Robustness Estimation In: Proc

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:36:47.379069Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation aa4dcf69-077d-49ba-8cdc-3ef7994a1ff0 · outbound

This paper cites RUPBench: Benchmarking Reasoning Under Perturbations for Robustness Evaluation in Large Language Models.

Statistical Runtime Verification for LLMs via Robustness Estimation RUPBench: Benchmarking Reasoning Under Perturbations for Robustness Evaluation in Large Language Models

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-16T10:36:46.216027Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 494d085c-5a71-4663-a0b4-e5eed487940c · outbound

This paper cites In: Proc.

Statistical Runtime Verification for LLMs via Robustness Estimation In: Proc

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:36:47.346537Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 3bc58cbe-0888-4c29-8134-b929dd98122f · outbound

This paper cites In: Proc.

Statistical Runtime Verification for LLMs via Robustness Estimation In: Proc

Reference 55

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:36:47.264195Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation dd015854-d016-4639-943c-eb1e434de38d · outbound

This paper cites Spectral Norm Regularization for Improving the Generalizability of Deep Learning.

Statistical Runtime Verification for LLMs via Robustness Estimation Spectral Norm Regularization for Improving the Generalizability of Deep Learning

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-16T10:36:46.259942Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6026a9e0-5982-4fc0-b6e2-0e703c922dfb · outbound

This paper cites A Survey of Large Language Models.

Statistical Runtime Verification for LLMs via Robustness Estimation A Survey of Large Language Models

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-16T10:36:46.266896Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 4bc28923-a733-4039-be3a-fb40308c8054 · inbound

Evaluating Reliability Gaps in Large Language Model Safety via Repeated Prompt Sampling cites this paper.

Evaluating Reliability Gaps in Large Language Model Safety via Repeated Prompt Sampling Statistical Runtime Verification for LLMs via Robustness Estimation

Reference 10

Resolution: verified exact; arxiv_id, observed 2026-05-15T12:55:37.958423Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 18ac6053-ae45-400d-9a6f-a88958f5dad7 · inbound

Learning to Act under Noise: Enhancing Agent Robustness via Noisy Environments cites this paper.

Learning to Act under Noise: Enhancing Agent Robustness via Noisy Environments Statistical Runtime Verification for LLMs via Robustness Estimation

Reference 62

Resolution: verified exact; arxiv_id, observed 2026-06-29T16:53:40.595190Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation cf8eecc0-b468-4e56-b9dc-db5a2e87ba74 · inbound

T5-CSBoost: Adversarial Perturbation Resistant LLM Fingerprinting cites this paper.

T5-CSBoost: Adversarial Perturbation Resistant LLM Fingerprinting Statistical Runtime Verification for LLMs via Robustness Estimation

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-02T14:40:27.667620Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.