Online Safety Analysis for LLMs: a Benchmark, an Assessment, and a Path Forward.

Xuan Xie Jiayang Song Zhehua Zhou Yuheng Huang Da Song Lei Ma

Published in: CoRR (2024)

Keyphrases

safety analysis
nuclear power plant
fault model
control system
safety critical
cooperative
symbolic model checking
fault tolerant
medical data
reliability analysis