A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation
Not on the map. Why?
Abstract (arXiv)
Large Language Models (LLMs) have exploded a new heatwave of AI for their ability to engage end-users in human-level conversations with detailed and articulate answers across many knowledge domains. In response to their fast adoption in many industrial applications, this survey concerns their safety and trustworthiness. First, we review known vulnerabilities and limitations of the LLMs, categorising them into inherent issues, attacks, and unintended bugs. Then, we consider if and how the Verification and Validation (V&V) techniques, which have been widely developed for traditional software and deep learning models such as convolutional neural networks as independent processes to check the alignment of their implementations against the specifications, can be integrated and further extended throughout the lifecycle of the LLMs to provide rigorous analysis to the safety and trustworthiness of LLMs and their applications. Specifically, we consider four complementary techniques: falsification and evaluation, verification, runtime monitoring, and regulations and ethical use. In total, 370+ references are considered to support the quick understanding of the safety and trustworthiness issues from the perspective of V&V. While intensive research has been conducted to identify the safety and trustworthiness issues, rigorous yet practical methods are called for to ensure the alignment of LLMs with safety and trustworthiness requirements.
Key facts. Cited by 93 papers in the map (data through 14 Oct 2026). Builds on 224 of its 344 references that are in the map. First posted on arXiv 19 May 2023.
Builds on
224 of 344 references.
References · 224
- 2017Attention Is All You Needcited by 60,361
- 2018BERT: Pre-training of Deep Bidirectional Transformers for Language Understandingcited by 40,399
- 2020Language Models are Few-Shot Learnerscited by 32,419
- 2021High-Resolution Image Synthesis with Latent Diffusion Modelscited by 18,863
- 2014Microsoft COCO: Common Objects in Contextcited by 17,608
- 2022Training language models to follow instructions with human feedbackcited by 15,971
- 2017Proximal Policy Optimization Algorithmscited by 15,215
- 2019Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformercited by 14,599
- 2021LoRA: Low-Rank Adaptation of Large Language Modelscited by 14,380
- 2019RoBERTa: A Robustly Optimized BERT Pretraining Approachcited by 13,372
- 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,459
- 2015Distilling the Knowledge in a Neural Networkcited by 10,324
38 more
- 2021Training Verifiers to Solve Math Word Problemscited by 10,109
- 2022ReAct: Synergizing Reasoning and Acting in Language Modelscited by 8,695
- 2021Evaluating Large Language Models Trained on Codecited by 8,320
- 2014Explaining and Harnessing Adversarial Examplescited by 7,364
- 2020Scaling Laws for Neural Language Modelscited by 6,586
- 2022Hierarchical Text-Conditional Image Generation with CLIP Latentscited by 6,585
- 2017Towards Deep Learning Models Resistant to Adversarial Attackscited by 6,415
- 2022Photorealistic Text-to-Image Diffusion Models with Deep Language Understandingcited by 6,355
- 2019BART: Denoising Sequence-to-Sequence Pre-training for Natural Language Generation, Translation, and Comprehensioncited by 5,893
- 2022Self-Consistency Improves Chain of Thought Reasoning in Language Modelscited by 5,708
- 2022Generative Adversarial Networkscited by 5,627
- 2022PaLM: Scaling Language Modeling with Pathwayscited by 5,326
- 2013Intriguing properties of neural networkscited by 5,155
- 2016"Why Should I Trust You?": Explaining the Predictions of Any Classifiercited by 5,070
- 2021Zero-Shot Text-to-Image Generationcited by 4,288
- 2019Parameter-Efficient Transfer Learning for NLPcited by 4,236
- 2017Deep reinforcement learning from human preferencescited by 3,912
- 2022Training a Helpful and Harmless Assistant with Reinforcement Learning from Human Feedbackcited by 3,720
- 2021GLIDE: Towards Photorealistic Image Generation and Editing with Text-Guided Diffusion Modelscited by 3,614
- 2020Taming Transformers for High-Resolution Image Synthesiscited by 3,253
- 2021Switch Transformers: Scaling to Trillion Parameter Models with Simple and Efficient Sparsitycited by 3,073
- 2019XLNet: Generalized Autoregressive Pretraining for Language Understandingcited by 2,811
- 2019ALBERT: A Lite BERT for Self-supervised Learning of Language Representationscited by 2,790
- 2023A Survey of Large Language Modelscited by 2,576
- 2016A Baseline for Detecting Misclassified and Out-of-Distribution Examples in Neural Networkscited by 2,385
- 2019Fine-Tuning Language Models from Human Preferencescited by 2,150
- 2020GShard: Scaling Giant Models with Conditional Computation and Automatic Shardingcited by 1,631
- 2020Knowledge Distillation: A Surveycited by 1,603
- 2020Reliable evaluation of adversarial robustness with an ensemble of diverse parameter-free attackscited by 1,451
- 2022Rethinking the Role of Demonstrations: What Makes In-Context Learning Work?cited by 1,434
- 2023Is Your Code Generated by ChatGPT Really Correct? Rigorous Evaluation of Large Language Models for Code Generationcited by 1,391
- 2018FEVER: a large-scale dataset for Fact Extraction and VERificationcited by 1,375
- 2019Certified Adversarial Robustness via Randomized Smoothingcited by 1,340
- 2017Enhancing The Reliability of Out-of-distribution Image Detection in Neural Networkscited by 1,328
- 2020Energy-based Out-of-distribution Detectioncited by 1,299
- 2022Scaling Autoregressive Models for Content-Rich Text-to-Image Generationcited by 1,295
- 2021Scaling Language Models: Methods, Analysis & Insights from Training Gophercited by 1,202
- 2019PEGASUS: Pre-training with Extracted Gap-sentences for Abstractive Summarizationcited by 1,102
50 most cited of 224 All 224 (JSON)
Built on by
Citing papers per year: 2023: 14; 2024: 38; 2025: 30; 2026: 11.
93 papers.
Sort:
By area:
- 2023The Rise and Potential of Large Language Model Based Agents: A Surveycited by 1,439
- 2024R-Judge: Benchmarking Safety Risk Awareness for LLM Agentscited by 288
- 2024Smaug: Fixing Failure Modes of Preference Optimisation with DPO-Positivecited by 241
- 2024A Comprehensive Study of Knowledge Editing for Large Language Modelscited by 163
- 2024JailbreakRadar: Comprehensive Assessment of Jailbreak Attacks Against LLMscited by 95
- 2024The BiGGen Bench: A Principled Benchmark for Fine-grained Evaluation of Language Models with Language Modelscited by 93
- 2024Harmful Fine-tuning Attacks and Defenses for Large Language Models: A Surveycited by 90
- 2023Use of LLMs for Illicit Purposes: Threats, Prevention Measures, and Vulnerabilitiescited by 82
- 2024Safeguarding Large Language Models: A Surveycited by 78
- 2024TEOChat: A Large Vision-Language Assistant for Temporal Earth Observation Datacited by 70
- 2024Risk Taxonomy, Mitigation, and Assessment Benchmarks of Large Language Model Systemscited by 66
- 2024Building Guardrails for Large Language Modelscited by 65
38 more
- 2023Evaluating the Instruction-Following Robustness of Large Language Models to Prompt Injectioncited by 59
- 2024Eraser: Jailbreaking Defense in Large Language Models via Unlearning Harmful Knowledgecited by 51
- 2023Look Before You Leap: An Exploratory Study of Uncertainty Measurement for Large Language Modelscited by 41
- 2024Assessment of Multimodal Large Language Models in Alignment with Human Valuescited by 36
- 2025A Survey of Direct Preference Optimizationcited by 36
- 2024AI Safety in Generative AI Large Language Models: A Surveycited by 33
- 2024MOSSBench: Is Your Multimodal Language Model Oversensitive to Safe Queries?cited by 30
- 2025We Should Identify and Mitigate Third-Party Safety Risks in MCP-Powered Agent Systemscited by 27
- 2024Towards Trustworthy AI: A Review of Ethical and Robust Large Language Modelscited by 22
- 2023METAL: Metamorphic Testing Framework for Analyzing Large-Language Model Qualitiescited by 20
- 2024Unbridled Icarus: A Survey of the Potential Perils of Image Inputs in Multimodal Large Language Model Securitycited by 19
- 2023User Modeling in the Era of Large Language Models: Current Research and Future Directionscited by 18
- 2024Position: Towards Bidirectional Human-AI Alignmentcited by 18
- 2024Compact Proofs of Model Performance via Mechanistic Interpretabilitycited by 18
- 2025LLM-Safety Evaluations Lack Robustnesscited by 18
- 2025The Intrinsic Dimension of Prompts in Internal Representations of Large Language Modelscited by 17
- 2024CHiSafetyBench: A Chinese Hierarchical Safety Benchmark for Large Language Modelscited by 15
- 2025Can AI Perceive Physical Danger and Intervene?cited by 14
- 2023On the Intersection of Self-Correction and Trust in Language Modelscited by 12
- 2023A Security Risk Taxonomy for Prompt-Based Interaction With Large Language Modelscited by 12
- 2023Synergistic Integration of Large Language Models and Cognitive Architectures for Robust AI: An Exploratory Analysiscited by 11
- 2024Towards Fairness-Aware Adversarial Learningcited by 11
- 2025Paradigms of AI Evaluation: Mapping Goals, Methodologies and Culturecited by 11
- 2025Safety of Embodied Navigation: A Surveycited by 10
- 2026IF-RewardBench: Benchmarking Judge Models for Instruction-Following Evaluationcited by 10
- 2024Large Language Model Supply Chain: Open Problems From the Security Perspectivecited by 9
- 2025Incentivizing Truthful Language Models via Peer Elicitation Gamescited by 9
- 2024Blockchain for Large Language Model Security and Safety: A Holistic Surveycited by 8
- 2024Trust-Oriented Adaptive Guardrails for Large Language Modelscited by 8
- 2024Characterizing and Evaluating the Reliability of LLMs against Jailbreak Attackscited by 8
- 2025Reducing Large Language Model Safety Risks in Women's Health using Semantic Entropycited by 8
- 2024Boosting Adversarial Training via Fisher-Rao Norm-based Regularizationcited by 7
- 2024ChineseSafe: A Chinese Benchmark for Evaluating Safety in Large Language Modelscited by 7
- 2025Stop Reducing Responsibility in LLM-Powered Multi-Agent Systems to Local Alignmentcited by 7
- 2023What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systemscited by 6
- 2024Zero-shot Safety Prediction for Autonomous Robots with Foundation World Modelscited by 6
- 2024Online Safety Analysis for LLMs: a Benchmark, an Assessment, and a Path Forwardcited by 6
- 2024Building a Domain-specific Guardrail Model in Productioncited by 6
50 most cited of 93 All 93 (JSON)
- 2026Can Vision-Language Models Stay Helpful When Facing Implicit Risks? Intent-Privilege OPSD for Efficient Safety-Helpfulness Alignment29 Sep 2026
- 2026Towards Systematic Qualification of Vision-Language Models for Automotive Perception Systems22 Sep 2026
- 2026Adversarial Diffusion Across Modalities: A Fusion Survey of Attacks, Defenses, and Evaluation for Text, Vision, and Vision-Language Models25 Jun 2026
- 2026Position: A Three-Layer Probabilistic Assume-Guarantee Architecture Is Structurally Required for Safe LLM Agent Deployment18 May 2026
- 2026Reflections and New Directions for Human-Centered Large Language Models7 May 2026
- 2026Pop Quiz Attack: Black-box Membership Inference Attacks Against Large Language Models7 May 2026
- 2026Neuro-Symbolic Agents for Hallucination-Free Requirements Reuse2 May 2026
- 2026AI Security in the Foundation Model Era: A Comprehensive Survey from a Unified Perspective25 Mar 2026
- 2026Understanding LLM Behavior When Encountering User-Supplied Harmful Content in Harmless Tasks12 Mar 2026
- 2026IF-RewardBench: Benchmarking Judge Models for Instruction-Following Evaluation5 Mar 2026
- 2026On the Robustness of Knowledge Editing for Detoxification11 Feb 2026
- 2025Provably Safe Model Updates1 Dec 2025
38 more
- 2025The 4/δ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee30 Nov 2025
- 2025Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems18 Nov 2025
- 2025A Hierarchical Imprecise Probability Approach to Reliability Assessment of Large Language Models1 Nov 2025
- 2025Stop Reducing Responsibility in LLM-Powered Multi-Agent Systems to Local Alignment15 Oct 2025
- 2025Verifying Memoryless Sequential Decision-making of Large Language Models8 Oct 2025
- 2025Agentic Services Computing29 Sep 2025
- 2025VeriLLM: A Lightweight Framework for Publicly Verifiable Decentralized Inference29 Sep 2025
- 2025Can AI Perceive Physical Danger and Intervene?25 Sep 2025
- 2025Bounded PCTL Model Checking of Large Language Model Outputs23 Sep 2025
- 2025The Computational Complexity of Satisfiability in State Space Models25 Aug 2025
- 2025Trust Me, I Know This Function: Hijacking LLM Static Analysis using Bias24 Aug 2025
- 2025Safety of Embodied Navigation: A Survey7 Aug 2025
- 2025A DbC Inspired Neurosymbolic Layer for Trustworthy Agent Design5 Aug 2025
- 2025Stylometry recognizes human and LLM-generated texts in short samples1 Jul 2025
- 2025We Should Identify and Mitigate Third-Party Safety Risks in MCP-Powered Agent Systems16 Jun 2025
- 2025Calibrated Predictive Lower Bounds on Time-to-Unsafe-Sampling in LLMs16 Jun 2025
- 2025Evaluating LLM Agent Adherence to Hierarchical Safety Principles: A Lightweight Benchmark for Probing Foundational Controllability Components3 Jun 2025
- 2025Is PMBOK Guide the Right Fit for AI? Re-evaluating Project Management in the Face of Artificial Intelligence Projects2 Jun 2025
- 2025Factual Self-Awareness in Language Models: Representation, Robustness, and Scaling27 May 2025
- 2025Incentivizing Truthful Language Models via Peer Elicitation Games19 May 2025
- 2025Language Models That Walk the Talk: A Framework for Formal Fairness Certificates19 May 2025
- 2025AI Ethics and Social Norms: Exploring ChatGPT's Capabilities From What to How25 Apr 2025
- 2025A Survey of Direct Preference Optimization12 Mar 2025
- 2025LLM-Safety Evaluations Lack Robustness4 Mar 2025
- 2025Reducing Large Language Model Safety Risks in Women's Health using Semantic Entropy1 Mar 2025
- 2025Paradigms of AI Evaluation: Mapping Goals, Methodologies and Culture21 Feb 2025
- 2025Automating Prompt Leakage Attacks on Large Language Models Using Agentic Approach18 Feb 2025
- 2025The Intrinsic Dimension of Prompts in Internal Representations of Large Language Models17 Jan 2025
- 2025Large Language Models for Knowledge Graph Embedding: A Survey14 Jan 2025
- 2024Trading Devil RL: Backdoor attack via Stock market, Bayesian Optimization and Reinforcement Learning23 Dec 2024
- 2024Trust & Safety of LLMs and LLMs in Trust & Safety3 Dec 2024
- 2024Multimodal large language model for wheat breeding: a new exploration of smart breeding20 Nov 2024
- 2024AIDBench: A benchmark for evaluating the authorship identification capability of large language models20 Nov 2024
- 2024Large Language Model Supply Chain: Open Problems From the Security Perspective3 Nov 2024
- 2024Standardization Trends on Safety and Trustworthiness Technology for Advanced AI29 Oct 2024
- 2024Causal Abstraction in Model Interpretability: A Compact Survey26 Oct 2024
- 2024ChineseSafe: A Chinese Benchmark for Evaluating Safety in Large Language Models24 Oct 2024
- 2024FATS: A Prompt Injection Attack Utilizing Feign Security Agents with Deceptive Few-shots Learning11 Oct 2024
50 newest of 93 All 93 (JSON)
- 2024JailbreakRadar: Comprehensive Assessment of Jailbreak Attacks Against LLMscited by 95
- 2024Safeguarding Large Language Models: A Surveycited by 78
- 2024Building Guardrails for Large Language Modelscited by 65
- 2023Evaluating the Instruction-Following Robustness of Large Language Models to Prompt Injectioncited by 59
- 2024Eraser: Jailbreaking Defense in Large Language Models via Unlearning Harmful Knowledgecited by 51
- 2024Blockchain for Large Language Model Security and Safety: A Holistic Surveycited by 8
- 2024Trust-Oriented Adaptive Guardrails for Large Language Modelscited by 8
- 2024Characterizing and Evaluating the Reliability of LLMs against Jailbreak Attackscited by 8
- 2024Building a Domain-specific Guardrail Model in Productioncited by 6
- 2024Trust & Safety of LLMs and LLMs in Trust & Safetycited by 3
- 2026Understanding LLM Behavior When Encountering User-Supplied Harmful Content in Harmless Taskscited by 3
- 2026AI Security in the Foundation Model Era: A Comprehensive Survey from a Unified Perspectivecited by 1
12 most cited of 13 All 13 (JSON)
- 2026Pop Quiz Attack: Black-box Membership Inference Attacks Against Large Language Models7 May 2026
- 2026AI Security in the Foundation Model Era: A Comprehensive Survey from a Unified Perspective25 Mar 2026
- 2026Understanding LLM Behavior When Encountering User-Supplied Harmful Content in Harmless Tasks12 Mar 2026
- 2024Trust & Safety of LLMs and LLMs in Trust & Safety3 Dec 2024
- 2024Characterizing and Evaluating the Reliability of LLMs against Jailbreak Attacks18 Aug 2024
- 2024Trust-Oriented Adaptive Guardrails for Large Language Models16 Aug 2024
- 2024Blockchain for Large Language Model Security and Safety: A Holistic Survey26 Jul 2024
- 2024Building a Domain-specific Guardrail Model in Production24 Jul 2024
- 2024Safeguarding Large Language Models: A Survey3 Jun 2024
- 2024Eraser: Jailbreaking Defense in Large Language Models via Unlearning Harmful Knowledge8 Apr 2024
- 2024JailbreakRadar: Comprehensive Assessment of Jailbreak Attacks Against LLMs8 Feb 2024
- 2024Building Guardrails for Large Language Models2 Feb 2024
12 newest of 13 All 13 (JSON)
- 2023The Rise and Potential of Large Language Model Based Agents: A Surveycited by 1,439
- 2024R-Judge: Benchmarking Safety Risk Awareness for LLM Agentscited by 288
- 2025We Should Identify and Mitigate Third-Party Safety Risks in MCP-Powered Agent Systemscited by 27
- 2025Stop Reducing Responsibility in LLM-Powered Multi-Agent Systems to Local Alignmentcited by 7
- 2025Agentic Services Computingcited by 6
- 2024FATS: A Prompt Injection Attack Utilizing Feign Security Agents with Deceptive Few-shots Learningcited by 4
- 2025Automating Prompt Leakage Attacks on Large Language Models Using Agentic Approachcited by 3
- 2025Evaluating LLM Agent Adherence to Hierarchical Safety Principles: A Lightweight Benchmark for Probing Foundational Controllability Componentscited by 2
- 2025A DbC Inspired Neurosymbolic Layer for Trustworthy Agent Designcited by 2
- 2026Position: A Three-Layer Probabilistic Assume-Guarantee Architecture Is Structurally Required for Safe LLM Agent Deploymentcited by 1
- 2026Neuro-Symbolic Agents for Hallucination-Free Requirements Reusecited by 0
- 2026Position: A Three-Layer Probabilistic Assume-Guarantee Architecture Is Structurally Required for Safe LLM Agent Deployment18 May 2026
- 2026Neuro-Symbolic Agents for Hallucination-Free Requirements Reuse2 May 2026
- 2025Stop Reducing Responsibility in LLM-Powered Multi-Agent Systems to Local Alignment15 Oct 2025
- 2025Agentic Services Computing29 Sep 2025
- 2025A DbC Inspired Neurosymbolic Layer for Trustworthy Agent Design5 Aug 2025
- 2025We Should Identify and Mitigate Third-Party Safety Risks in MCP-Powered Agent Systems16 Jun 2025
- 2025Evaluating LLM Agent Adherence to Hierarchical Safety Principles: A Lightweight Benchmark for Probing Foundational Controllability Components3 Jun 2025
- 2025Automating Prompt Leakage Attacks on Large Language Models Using Agentic Approach18 Feb 2025
- 2024FATS: A Prompt Injection Attack Utilizing Feign Security Agents with Deceptive Few-shots Learning11 Oct 2024
- 2024R-Judge: Benchmarking Safety Risk Awareness for LLM Agents18 Jan 2024
- 2023The Rise and Potential of Large Language Model Based Agents: A Survey14 Sep 2023
- 2024Assessment of Multimodal Large Language Models in Alignment with Human Valuescited by 36
- 2024MOSSBench: Is Your Multimodal Language Model Oversensitive to Safe Queries?cited by 30
- 2024Unbridled Icarus: A Survey of the Potential Perils of Image Inputs in Multimodal Large Language Model Securitycited by 19
- 2024Multimodal large language model for wheat breeding: a new exploration of smart breedingcited by 2
- 2026Adversarial Diffusion Across Modalities: A Fusion Survey of Attacks, Defenses, and Evaluation for Text, Vision, and Vision-Language Modelscited by 1
- 2026Towards Systematic Qualification of Vision-Language Models for Automotive Perception Systemscited by 0
- 2026Can Vision-Language Models Stay Helpful When Facing Implicit Risks? Intent-Privilege OPSD for Efficient Safety-Helpfulness Alignmentcited by 0
- 2026Can Vision-Language Models Stay Helpful When Facing Implicit Risks? Intent-Privilege OPSD for Efficient Safety-Helpfulness Alignment29 Sep 2026
- 2026Towards Systematic Qualification of Vision-Language Models for Automotive Perception Systems22 Sep 2026
- 2026Adversarial Diffusion Across Modalities: A Fusion Survey of Attacks, Defenses, and Evaluation for Text, Vision, and Vision-Language Models25 Jun 2026
- 2024Multimodal large language model for wheat breeding: a new exploration of smart breeding20 Nov 2024
- 2024MOSSBench: Is Your Multimodal Language Model Oversensitive to Safe Queries?22 Jun 2024
- 2024Unbridled Icarus: A Survey of the Potential Perils of Image Inputs in Multimodal Large Language Model Security8 Apr 2024
- 2024Assessment of Multimodal Large Language Models in Alignment with Human Values26 Mar 2024
- 2024Smaug: Fixing Failure Modes of Preference Optimisation with DPO-Positivecited by 241
- 2024Harmful Fine-tuning Attacks and Defenses for Large Language Models: A Surveycited by 90
- 2025A Survey of Direct Preference Optimizationcited by 36
- 2024Position: Towards Bidirectional Human-AI Alignmentcited by 18
- 2025LLM-Safety Evaluations Lack Robustnesscited by 18
- 2025A Survey of Direct Preference Optimization12 Mar 2025
- 2025LLM-Safety Evaluations Lack Robustness4 Mar 2025
- 2024Harmful Fine-tuning Attacks and Defenses for Large Language Models: A Survey26 Sep 2024
- 2024Position: Towards Bidirectional Human-AI Alignment13 Jun 2024
- 2024Smaug: Fixing Failure Modes of Preference Optimisation with DPO-Positive20 Feb 2024
- 2024A Comprehensive Study of Knowledge Editing for Large Language Modelscited by 163
- 2024The BiGGen Bench: A Principled Benchmark for Fine-grained Evaluation of Language Models with Language Modelscited by 93
- 2023Use of LLMs for Illicit Purposes: Threats, Prevention Measures, and Vulnerabilitiescited by 82
- 2024TEOChat: A Large Vision-Language Assistant for Temporal Earth Observation Datacited by 70
- 2024Risk Taxonomy, Mitigation, and Assessment Benchmarks of Large Language Model Systemscited by 66
- 2023Look Before You Leap: An Exploratory Study of Uncertainty Measurement for Large Language Modelscited by 41
- 2024AI Safety in Generative AI Large Language Models: A Surveycited by 33
- 2024Towards Trustworthy AI: A Review of Ethical and Robust Large Language Modelscited by 22
- 2023METAL: Metamorphic Testing Framework for Analyzing Large-Language Model Qualitiescited by 20
- 2023User Modeling in the Era of Large Language Models: Current Research and Future Directionscited by 18
- 2024CHiSafetyBench: A Chinese Hierarchical Safety Benchmark for Large Language Modelscited by 15
- 2025Can AI Perceive Physical Danger and Intervene?cited by 14
12 most cited of 52 All 52 (JSON)
- 2026Reflections and New Directions for Human-Centered Large Language Models7 May 2026
- 2026IF-RewardBench: Benchmarking Judge Models for Instruction-Following Evaluation5 Mar 2026
- 2026On the Robustness of Knowledge Editing for Detoxification11 Feb 2026
- 2025Provably Safe Model Updates1 Dec 2025
- 2025The 4/δ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee30 Nov 2025
- 2025Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems18 Nov 2025
- 2025A Hierarchical Imprecise Probability Approach to Reliability Assessment of Large Language Models1 Nov 2025
- 2025Verifying Memoryless Sequential Decision-making of Large Language Models8 Oct 2025
- 2025VeriLLM: A Lightweight Framework for Publicly Verifiable Decentralized Inference29 Sep 2025
- 2025Can AI Perceive Physical Danger and Intervene?25 Sep 2025
- 2025Bounded PCTL Model Checking of Large Language Model Outputs23 Sep 2025
- 2025The Computational Complexity of Satisfiability in State Space Models25 Aug 2025
12 newest of 52 All 52 (JSON)