Welcome Your New AI Teammate: On Safety Analysis by Leashing Large Language Models.
Ali NouriBeatriz Cabrero DanielFredrik TörnerHåkan SivencronaChristian BergerPublished in: CoRR (2024)
Keyphrases
- language model
- safety analysis
- language modeling
- nuclear power plant
- safety critical
- control system
- artificial intelligence
- symbolic model checking
- speech recognition
- fault model
- information retrieval
- n gram
- document retrieval
- probabilistic model
- retrieval model
- test collection
- query expansion
- language modelling
- knowledge based systems
- context sensitive
- expert systems
- statistical language models
- smoothing methods
- language models for information retrieval
- intelligent systems
- document ranking
- formal methods
- fault tolerant
- knowledge representation
- reliability analysis
- ai planning
- retrieval effectiveness
- query terms
- learning systems