Daniel Neider, P. Madhusudan, Shambwaditya Saha, Pranav Garg 0001, Daejun Park 0001. A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines. Journal of Automated Reasoning, 64(7):1523-1552, 2020. [doi]
Abstract is missing.