A vision paper proposing Learning-Infused Formal Reasoning (LIFR), a hybrid LLM+graph framework for contract synthesis, artifact reuse, and semantic foundations in verification.
Innov Syst Softw Eng 18(4):567--580
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
A vision paper proposing Learning-Infused Formal Reasoning (LIFR), a hybrid LLM+graph framework for contract synthesis, artifact reuse, and semantic foundations in verification.