A vision paper proposing Learning-Infused Formal Reasoning (LIFR), a hybrid LLM+graph framework for contract synthesis, artifact reuse, and semantic foundations in verification.
In: Ogata K, Lawford M, Liu S (eds) Formal Methods and Software Engineering
1 Pith paper cite this work, alongside 7 external citations. Polarity classification is still indexing.
1
Pith paper citing it
7
external citations · OpenAlex
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.