An LLM-based system that generates SMT and Python checkers from natural-language string requirements and uses them with feedback to verify satisfiability improves accuracy over direct LLM generation.
Generation of Formal Requirements from Structured Natural Lan- guage,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.SE 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
unclear 1representative citing papers
citing papers explorer
-
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation
An LLM-based system that generates SMT and Python checkers from natural-language string requirements and uses them with feedback to verify satisfiability improves accuracy over direct LLM generation.