Latest Articles for Safety

A new algorithm improves the verification of neural networks for reliability and fairness.

Understanding gas flows when mixing hydrogen and natural gas in pipelines.

A new approach enhances the effectiveness of attacks on safety-focused language models.

A look at system behaviors and challenges in concurrent processes with TSO.

Examining the impact of wildlife accidents on railway safety in southern Poland.

A new system assesses safety risks in images generated by AI models.

A new approach enhances safety in systems with uncertainties using reachability analysis.

A framework to enhance safety in LLM agents across various applications.

This study examines musculoskeletal disorders among Zambian mineworkers and their impact.

A study on using reinforcement learning and safety measures for spacecraft inspections.

Evaluating risks of biased outcomes in robots using language models.

Effective eHMIs enhance safety and interaction in urban spaces.

Learn why unique IDs for AI systems enhance safety and trust.

Reddit offers vital support for those navigating drug use and recovery.

New plastic scintillators improve neutron detection for nuclear safety.

Air taxis could transform urban transport by avoiding road traffic and offering quick rides.

A method to improve data collection for systems that change over time.

A novel framework ensures stability and safety in nonlinear system control.

INDICT enhances code safety and helpfulness using dual critique analysis.

CMDPs merge reward maximization with safety in AI applications.

A new benchmark evaluates language models' effectiveness in robotic applications.

A tool for verifying communication protocols in Clojure apps.

Robots are changing how we live and work in various settings.

A formal approach to verify the correctness of DAG-based consensus protocols.

Research shows simple input changes can lead to harmful outputs in LLMs.

A new model improves safety monitoring for large language models against harmful content.

RSHPN framework enhances reliability and safety in robotic systems through better analysis.

Combining Hamilton-Jacobi reachability with reinforcement learning enhances safety in control systems.

A new benchmark aims to assess AI safety risks effectively.

Regulations guide the safe and fair use of AI technologies across various sectors.

A look into bias in language models and their impact on fairness.

Logic provides a strong foundation for effective learning in science and engineering.

Examining the risks and safety measures for LLM-powered robots.

Humanoid robots are changing how we approach work in various industries.

A look into assessing mental wellness chatbots for effective user support.

Phi-3 models focus on safety and aligning with human values.

Examining how explainable AI can aid in certifying AI systems.

A look at AI's potential to improve tractor safety.

This paper outlines guardrail models to promote safe AI in education.

Exploring machine unlearning and its role in enhancing generative AI safety and privacy.