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

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Beg, Arshad, O'Donoghue, Diarmuid, Monahan, Rosemary
Format:	Preprint
Publié:	2026
Sujets:	Software Engineering Artificial Intelligence D.2.1; D.2.4; D.2.10; F.4.1; F.4.3
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Internet

https://arxiv.org/abs/2602.02881