Probabilistic Guarantees for Practical LIA Loop Invariant Automation. - Ashish Kumar; Jilaun Zhang; Saeid Tizpaz-Niari; Gang Tan (CoRR, 2024)