Arshad Beg

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Reasoning & Chain-of-Thought (1)Tool Use & Agents (1)

Frequent co-authors

Arshad Beg (1)Diarmuid O'Donoghue (1)Diarmuid O'Donoghue (1)Rosemary Monahan (1)

Papers (1)

Apr 14, 2026

Arshad Beg +5Apr 14, 2026·also Maynooth University

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

Formal verification can become a cumulative, knowledge-driven process by infusing it with machine learning to automate contract synthesis and enable artifact reuse.

Arshad Beg, Arshad Beg, Diarmuid O'Donoghue +3

Code Generation & Program Synthesis Reasoning & Chain-of-Thought Tool Use & Agents

Search

Arshad Beg

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)