Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Beg, Arshad, O'Donoghue, Diarmuid, Monahan, Rosemary
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Software Engineering Artificial Intelligence D.2.1; D.2.4; D.2.10; F.4.1; F.4.3
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Accesso online

https://arxiv.org/abs/2602.02881