Trusta: Reasoning about Assurance Cases with Formal Methods and Large Language Models.
Zezhong ChenYuxin DengWenjie DuPublished in: CoRR (2023)
Keyphrases
- language model
- formal methods
- language modeling
- n gram
- information retrieval
- probabilistic model
- query expansion
- language modelling
- document retrieval
- retrieval model
- knowledge based systems
- speech recognition
- test collection
- formal specification
- translation model
- smoothing methods
- artificial intelligence
- statistical language models
- model checking
- language models for information retrieval
- software engineering
- query terms
- document ranking
- context sensitive
- vector space model
- relevance model
- information retrieval systems
- language model for information retrieval
- cross lingual
- formal specification language