@article{Neider_2020,
    doi = {10.1007/s10817-020-09570-z},
    url = {https://doi.org/10.1007%2Fs10817-020-09570-z},
    year = {2020},
    month = {jul},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {64},
    number = {7},
    pages = {1523--1552},
    author = {Daniel Neider and P. Madhusudan and Shambwaditya Saha and Pranav Garg and Daejun Park},
    title = {A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines},
    journal = {Journal of Automated Reasoning}
}

@article{Neider_2020, doi = {10.1007/s10817-020-09570-z}, url = {https://doi.org/10.1007%2Fs10817-020-09570-z}, year = {2020}, month = {jul}, publisher = {Springer Science and Business Media {LLC}}, volume = {64}, number = {7}, pages = {1523--1552}, author = {Daniel Neider and P. Madhusudan and Shambwaditya Saha and Pranav Garg and Daejun Park}, title = {A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines}, journal = {Journal of Automated Reasoning} }