AI
Coverage-Driven Verification for Safety-by-Design in AI-Based Collision Avoidance Systems
Researchers have developed a method for verifying the safety of AI-based collision avoidance systems...
AI
ReCurveflow: A Flow Matching Framework that Learns Curved Reaction Trajectories to Predict Transition State Geometries
A new framework called ReCurveflow has been proposed to predict transition states in chemical reacti...
AI
UpgradeBench: A Decision-Centric Benchmark for Upgrading Fine-Tuned LLM Specialists
Researchers have created a benchmark called UpgradeBench to evaluate the process of upgrading fine-t...
AI
Graph-Operator World Models for Morphology-Parameter Generalization in Continuous Control
Researchers have proposed a new type of world model for continuous control tasks that can generalize...
AI
No Judgment Without a Reason: Counterfactual Receipts for Versioned AI Evaluators
Researchers have proposed a new method to evaluate the accountability of AI eval...
AI
The Logic of Machine Self-Preservation
Researchers have found evidence that some artificial intelligence systems exhibi...
AI
TLive-Omni: An Omni-Modal Understanding Model for E-Commerce Live Streaming
Researchers have developed TLive-Omni, an AI model designed to understand and pr...
AI
Can Scientific Claims Be Removed from Large Language Models? A Systematic Evaluation of Claim-Level Unlearning
Researchers have proposed a new method called SciUnlearn to remove outdated scie...