nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models.
Matthias CoslerChristopher HahnDaniel MendozaFrederik SchmittCaroline TrippelPublished in: CAV (2) (2023)
Keyphrases
- language model
- natural language
- temporal logic
- language modeling
- model checking
- mazurkiewicz traces
- n gram
- satisfiability problem
- document retrieval
- modal logic
- query expansion
- probabilistic model
- test collection
- information retrieval
- knowledge representation
- retrieval model
- natural language questions
- question answering
- natural language processing
- ad hoc information retrieval
- speech recognition
- concurrent systems
- semi structured
- language modelling
- smoothing methods
- statistical language models
- linguistic knowledge
- machine learning
- structured data
- information extraction
- document ranking
- context sensitive
- context dependent
- predicate logic
- belief revision
- language processing
- temporal knowledge
- written in natural language
- formal language
- term dependencies
- search algorithm
- okapi bm
- query terms
- language models for information retrieval