Testing AI logic in biomedical research

Manchester researchers have developed a systematic methodology to test whether AI can think logically in biomedical research, ...

Semantic Leakage Is Taking A Hefty Toll On AI Producing Harmonious Mental Health Advice

Semantic leakage occurs when a word in a prompt is later used in an LLM chat in an unsuspecting way. This can be worrisome in ...
IEEE

A Neural-Symbolic Network for Interpretable Fault Diagnosis of Rolling Element Bearings Based on Temporal Logic

Abstract: This study examines the issue of interpretability in fault diagnosis for rolling bearings using a symbolic learning technique. We propose the adoption of weighted signal temporal logic (wSTL ...
IEEE

Zonotope-Based Symbolic Controller Synthesis for Linear Temporal Logic Specifications

Abstract: This article studies the controller synthesis problem for nonlinear control systems under linear temporal logic (LTL) specifications using zonotope techniques. A local-to-global control ...