:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Chen, Danqing, Ladner, Tobias, Mhadhbi, Ahmed Rayen, Althoff, Matthias
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2505.12767
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure
by: Ladner, Tobias, et al.
Published: (2024)

Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
by: Kranzlmüller, Miriam, et al.
Published: (2026)

Formally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes
by: Abu-Haeyeh, Yasmine, et al.
Published: (2026)

Fully Automatic Neural Network Reduction for Formal Verification
by: Ladner, Tobias, et al.
Published: (2023)

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations
by: Bassan, Shahaf, et al.
Published: (2025)

Talking the Talk Does Not Entail Walking the Walk: On the Limits of Large Language Models in Lexical Entailment Recognition
by: Greco, Candida M., et al.
Published: (2024)

Walk the Talk? Measuring the Faithfulness of Large Language Model Explanations
by: Matton, Katie, et al.
Published: (2025)

Abstraction-Based Proof Production in Formal Verification of Neural Networks
by: Elboher, Yizhak Yisrael, et al.
Published: (2025)

A Design Co-Pilot for Task-Tailored Manipulators
by: Külz, Jonathan, et al.
Published: (2025)

Do Chatbots Walk the Talk of Responsible AI?
by: Aaronson, Susan Ariel, et al.
Published: (2025)

Out of the Shadows: Exploring a Latent Space for Neural Network Verification
by: Koller, Lukas, et al.
Published: (2025)

Set-Based Training for Neural Network Verification
by: Koller, Lukas, et al.
Published: (2024)

Perception with Guarantees: Certified Pose Estimation via Reachability Analysis
by: Ladner, Tobias, et al.
Published: (2026)

Nishpaksh: TEC Standard-Compliant Framework for Fairness Auditing and Certification of AI Models
by: Prakash, Shashank, et al.
Published: (2026)

Formal Verification of Neural Certificates Done Dynamically
by: Henzinger, Thomas A., et al.
Published: (2025)

Model Predictive Robustness of Signal Temporal Logic Predicates
by: Lin, Yuanfei, et al.
Published: (2022)

Fairness Certification for Natural Language Processing and Large Language Models
by: Freiberger, Vincent, et al.
Published: (2024)

Contingency-constrained economic dispatch with safe reinforcement learning
by: Eichelbeck, Michael, et al.
Published: (2022)

Formally Verified Certification of Unsolvability of Temporal Planning Problems
by: Wang, David, et al.
Published: (2025)

Traffic-Rule-Compliant Trajectory Repair via Satisfiability Modulo Theories and Reachability Analysis
by: Lin, Yuanfei, et al.
Published: (2024)

Formal Safety Guarantees for Autonomous Vehicles using Barrier Certificates
by: Barhoumi, Oumaima, et al.
Published: (2026)

Cooperative Strategic Planning Enhances Reasoning Capabilities in Large Language Models
by: Wang, Danqing, et al.
Published: (2024)

Agentmandering: A Game-Theoretic Framework for Fair Redistricting via Large Language Model Agents
by: Li, Hao, et al.
Published: (2025)

Leveraging Analytic Gradients in Provably Safe Reinforcement Learning
by: Walter, Tim, et al.
Published: (2025)

Are Language Models Actually Useful for Time Series Forecasting?
by: Tan, Mingtian, et al.
Published: (2024)

Do Large Language Models Walk Their Talk? Measuring the Gap Between Implicit Associations, Self-Report, and Behavioral Altruism
by: Andric, Sandro
Published: (2025)

Talking to Yourself: Defying Forgetting in Large Language Models
by: Sun, Yutao, et al.
Published: (2026)

Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates
by: Wang, Chengxiao, et al.
Published: (2026)

Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
by: Mandal, Udayan, et al.
Published: (2024)

Training Verifiably Robust Agents Using Set-Based Reinforcement Learning
by: Wendl, Manuel, et al.
Published: (2024)

The (Short-Term) Effects of Large Language Models on Unemployment and Earnings
by: Chen, Danqing, et al.
Published: (2025)

Zono-Conformal Prediction: Zonotope-Based Uncertainty Quantification for Regression and Classification Tasks
by: Lützow, Laura, et al.
Published: (2025)

Lumos: Let there be Language Model System Certification
by: Chaudhary, Isha, et al.
Published: (2025)

From LLM-Generated Conjectures to Lean Formalizations: Automated Polynomial Inequality Proving via Sum-of-Squares Certificates
by: Zuo, Ruobing, et al.
Published: (2026)

WalkVLM:Aid Visually Impaired People Walking by Vision Language Model
by: Yuan, Zhiqiang, et al.
Published: (2024)

UtilityMax Prompting: A Formal Framework for Multi-Objective Large Language Model Tasks
by: Marom, Ofir
Published: (2026)

Compliance-by-Construction Argument Graphs: Using Generative AI to Produce Evidence-Linked Formal Arguments for Certification-Grade Accountability
by: Moghaddam, Mahyar T.
Published: (2026)

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
by: Yu, Zhouliang, et al.
Published: (2025)

Predictive Traffic Rule Compliance using Reinforcement Learning
by: Huang, Yanliang, et al.
Published: (2025)

A Normative Framework for Benchmarking Consumer Fairness in Large Language Model Recommender System
by: Deldjoo, Yashar, et al.
Published: (2024)