AutoSafeLTL combines LLMs with language inclusion checks and counterexample-guided refinement to produce LTL specifications that satisfy safety restrictions while preserving logical consistency, reporting 0% violation rate in experiments.
Nl2ltl – a python package for converting natural language (nl) instructions to linear temporal logic (ltl) formulas
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2025 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Automatic Generation of Safety-compliant Linear Temporal Logic via Large Language Model: A Self-supervised Framework
AutoSafeLTL combines LLMs with language inclusion checks and counterexample-guided refinement to produce LTL specifications that satisfy safety restrictions while preserving logical consistency, reporting 0% violation rate in experiments.