ArXiv TLDR

Rosemary Monahan

2 papers · Latest:

Software Engineering

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods

This paper introduces a pipeline that converts imperative programs and their annotations into typed, attributed graphs for scalable verification artefact reuse.

2604.26578
Software Engineering

Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations

This paper introduces Learning-Infused Formal Reasoning (LIFR) to integrate ML with formal methods, enabling automated contract synthesis and artifact reuse.

2604.12747

📬 Weekly AI Paper Digest

Get the top 10 AI/ML arXiv papers from the week — summarized, scored, and delivered to your inbox every Monday.