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: Bert D, Bowen JP, Henson MC, et al (eds) ZB 2002: Formal Specification and Development in Z and B
1 Pith paper cite this work, alongside 189 external citations. Polarity classification is still indexing.
1
Pith paper citing it
189
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.