← Search

Mukund Raghothaman

2 accepted papers

2021

GENSYNTH: Synthesizing Datalog Programs without Language Bias

AAAI 2021technical

Techniques for learning logic programs from data typically rely on language bias mechanisms to restrict the hypothesis space. These methods are therefore limited by the user's ability to tune them such that the hypothesis space is simultaneously large enough to include the target program but small e…

Cited by 20SourcePDFScholar
2018

Learning Loop Invariants for Program Verification

NeurIPS 2018spotlight

A fundamental problem in program verification concerns inferring loop invariants. The problem is undecidable and even practical instances are challenging. Inspired by how human experts construct loop invariants, we propose a reasoning framework Code2Inv that constructs the solution by multi-step dec…