:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Hasan, Munawar
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2604.04876
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Why AI Safety Requires Uncertainty, Incomplete Preferences, and Non-Archimedean Utilities
by: Benavoli, Alessio, et al.
Published: (2025)

Empirical Validation of the Classification-Verification Dichotomy for AI Safety Gates
by: Scrivens, Arsenios
Published: (2026)

Relevance for Stability of Verification Status of a Set of Arguments in Incomplete Argumentation Frameworks (with Proofs)
by: Xiong, Anshu, et al.
Published: (2025)

Internalizing Safety Understanding in Large Reasoning Models via Verification
by: Zhang, Yi, et al.
Published: (2026)

Motion-to-Response Content Generation via Multi-Agent AI System with Real-Time Safety Verification
by: Lee, HyeYoung
Published: (2026)

Containment Verification: AI Safety Guarantees Independent of Alignment
by: Moon, Royce, et al.
Published: (2026)

ThreatGPT: An Agentic AI Framework for Enhancing Public Safety through Threat Modeling
by: Zisad, Sharif Noor, et al.
Published: (2025)

Persona Non Grata: Single-Method Safety Evaluation Is Incomplete for Persona-Imbued LLMs
by: Li, Wenkai, et al.
Published: (2026)

Unifying Two Types of Scaling Laws from the Perspective of Conditional Kolmogorov Complexity
by: Wan, Jun
Published: (2025)

Prime Successor Irreducibility: Turing Machine Complexity, Kolmogorov Complexity, and Weakness-Based Formulations
by: Goertzel, Ben, et al.
Published: (2026)

A Dynamical Systems Framework for Reinforcement Learning Safety and Robustness Verification
by: Nasir, Ahmed, et al.
Published: (2025)

Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation
by: Marzari, Luca, et al.
Published: (2025)

Fact in Fragments: Deconstructing Complex Claims via LLM-based Atomic Fact Extraction and Verification
by: Zheng, Liwen, et al.
Published: (2025)

The Folly of AI for Age Verification
by: McIlroy-Young, Reid
Published: (2025)

ChatGPT in Classrooms: Transforming Challenges into Opportunities in Education
by: Munawar, Harris Bin, et al.
Published: (2024)

The Need for Verification in AI-Driven Scientific Discovery
by: Cornelio, Cristina, et al.
Published: (2025)

Saarthi: The First AI Formal Verification Engineer
by: Kumar, Aman, et al.
Published: (2025)

The Refusal--Compliance Tradeoff: A Large-Scale Safety Behavior Audit of Large Language Models
by: Hasan, Alif Al, et al.
Published: (2026)

The Incomplete Bridge: How AI Research (Mis)Engages with Psychology
by: Jiang, Han, et al.
Published: (2025)

Information-Theoretic Limits of Safety Verification for Self-Improving Systems
by: Scrivens, Arsenios
Published: (2026)

Political Events using RAG with LLMs
by: Arslan, Muhammad, et al.
Published: (2025)

Sustainable Digitalization of Business with Multi-Agent RAG and LLM
by: Arslan, Muhammad, et al.
Published: (2025)

Complete Approximations of Incomplete Queries
by: Corman, Julien, et al.
Published: (2024)

Abducing Compliance of Incomplete Event Logs
by: Chesani, Federico, et al.
Published: (2016)

On AI Verification in Open RAN
by: Soundrarajan, Rahul, et al.
Published: (2025)

GDPR Auto-Formalization with AI Agents and Human Verification
by: Nguyen, Ha Thanh, et al.
Published: (2026)

Agentic AI-based Coverage Closure for Formal Verification
by: Pothireddypalli, Sivaram, et al.
Published: (2026)

Generative AI Augmented Induction-based Formal Verification
by: Kumar, Aman, et al.
Published: (2024)

Verification methods for international AI agreements
by: Wasil, Akash R., et al.
Published: (2024)

On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification: Technical Report
by: Behnke, Gregor, et al.
Published: (2024)

Are Transformers More Robust? Towards Exact Robustness Verification for Transformers
by: Liao, Brian Hsuan-Cheng, et al.
Published: (2022)

A Hybrid Knowledge-Grounded Framework for Safety and Traceability in Prescription Verification
by: Zhu, Yichi, et al.
Published: (2026)

Bridging Efficiency and Safety: Formal Verification of Neural Networks with Early Exits
by: Elboher, Yizhak Yisrael, et al.
Published: (2025)

TriGuard: Testing Model Safety with Attribution Entropy, Verification, and Drift
by: Mahato, Dipesh Tharu, et al.
Published: (2025)

NeuroAI for AI Safety
by: Mineault, Patrick, et al.
Published: (2024)

Evaluating Counterfactual Explanation Methods on Incomplete Inputs
by: Leofante, Francesco, et al.
Published: (2026)

LAsset: An LLM-assisted Security Asset Identification Framework for System-on-Chip (SoC) Verification
by: Hasan, Md Ajoad, et al.
Published: (2026)

Improving the Safety and Trustworthiness of Medical AI via Multi-Agent Evaluation Loops
by: Ghafoor, Zainab, et al.
Published: (2026)

Preventing the Collapse of Peer Review Requires Verification-First AI
by: You, Lei, et al.
Published: (2026)

AgentGuard: Runtime Verification of AI Agents
by: Koohestani, Roham
Published: (2025)