AINeutralarXiv – CS AI · May 17/10
🧠A research paper examines the critical challenge of ensuring dependability in AI-enabled autonomous systems, particularly in safety-critical applications like autonomous vehicles. The work addresses how traditional reliability and safety approaches fall short when integrated with unpredictable machine learning components, proposing new methodologies for verification, validation, and certification that bridge AI innovation with system-level safety guarantees.
AI × CryptoNeutralarXiv – CS AI · Apr 77/10
🤖Researchers propose a blockchain-based AI system for wildfire monitoring that requires mandatory human authorization before issuing alerts. The system uses smart contracts to enforce governance constraints on autonomous AI agents, combining UAV monitoring with cryptographic verification to prevent false alarms and ensure accountability.
AIBullisharXiv – CS AI · Mar 57/10
🧠Researchers propose Feature Mixing, a novel method for multimodal out-of-distribution detection that achieves 10x to 370x speedup over existing approaches. The technique addresses safety-critical applications like autonomous driving by better detecting anomalous data across multiple sensor modalities.
AIBullisharXiv – CS AI · 4d ago6/10
🧠Researchers introduce ReasonOps, a unified operational framework that treats AI reasoning as a continuously monitored and verifiable process rather than isolated inference. The paradigm integrates formal verification, symbolic reasoning, and runtime assurance to address critical reliability gaps in LLM-based reasoning systems, particularly for safety-critical applications.
AINeutralarXiv – CS AI · Apr 146/10
🧠A new thesis examines explainable AI planning (XAIP) for hybrid systems, addressing the critical challenge of making autonomous planning decisions interpretable in safety-critical applications. As AI automation expands into domains like autonomous vehicles, energy grids, and healthcare, the ability to explain system reasoning becomes essential for trust and regulatory compliance.
AIBullisharXiv – CS AI · Apr 76/10
🧠Researchers propose a compliance-by-construction architecture that integrates Generative AI with structured formal argument representations to ensure accountability in high-stakes decision systems. The approach uses typed Argument Graphs, retrieval-augmented generation, validation constraints, and provenance ledgers to prevent AI hallucinations while maintaining traceability for regulatory compliance.
AIBullisharXiv – CS AI · Mar 266/10
🧠Researchers propose Preference-based Constrained Reinforcement Learning (PbCRL), a new approach for safe AI decision-making that learns safety constraints from human preferences rather than requiring extensive expert demonstrations. The method addresses limitations in existing Bradley-Terry models by introducing a dead zone mechanism and Signal-to-Noise Ratio loss to better capture asymmetric safety costs and improve constraint alignment.
AINeutralarXiv – CS AI · Mar 36/108
🧠Researchers introduce 'Monotropic Artificial Intelligence,' a new paradigm that deliberately creates highly specialized AI models with extraordinary precision in narrow domains rather than pursuing general-purpose capabilities. The concept challenges the current trend of scaling AI models broadly, proposing instead that domain-specialized models could offer advantages for safety-critical applications.
$NEAR
AIBullisharXiv – CS AI · Mar 26/1017
🧠Researchers introduce VISTA, a framework for vessel trajectory imputation that uses knowledge-driven LLM reasoning to repair incomplete maritime tracking data. The system provides 'repair provenance' - documented reasoning behind data repairs - achieving 5-91% accuracy improvements over existing methods while reducing inference time by 51-93%.
AIBullisharXiv – CS AI · Mar 27/1019
🧠Researchers have developed a safety filtering framework that ensures AI generative models like diffusion models produce outputs that satisfy hard constraints without requiring model retraining. The approach uses Control Barrier Functions to create a 'constricting safety tube' that progressively tightens constraints during the generation process, achieving 100% constraint satisfaction across image generation, trajectory sampling, and robotic manipulation tasks.
AINeutralarXiv – CS AI · Mar 174/10
🧠Researchers introduce Safe Flow Q-Learning (SafeFQL), a new offline safe reinforcement learning method that combines Hamilton-Jacobi reachability with flow policies for safety-critical real-time control. The method achieves better safety performance with lower inference latency compared to existing diffusion-based approaches, making it more suitable for real-time deployment.
AINeutralarXiv – CS AI · Mar 44/103
🧠Researchers have developed AnchorDrive, a two-stage AI framework that combines large language models with diffusion models to generate realistic safety-critical scenarios for autonomous driving systems. The system uses LLMs for controllable scenario generation based on natural language instructions, then employs diffusion models to create realistic driving trajectories.
