Login / Signup
Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach.
Xi Zheng
Aloysius K. Mok
Ruzica Piskac
Yong Jae Lee
Bhaskar Krishnamachari
Dakai Zhu
Oleg Sokolsky
Insup Lee
Published in:
SIGSOFT FSE Companion (2024)
Keyphrases
</>
language model
n gram
language modeling
probabilistic model
active learning
unsupervised learning
information retrieval
supervised learning
statistical language models
context aware
speech recognition
document retrieval
language modelling