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: Goldberg Y, Kozareva Z, Zhang Y (eds) Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing
1 Pith paper cite this work, alongside 63 external citations. Polarity classification is still indexing.
1
Pith paper citing it
63
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.