PrediPrune: Reducing Verification Overhead in Souper with Machine Learning Driven Pruning. - Ange-Thierry Ishimwe; Raghuveer Shivakumar; Heewoo Kim; Tamara Lehman; Joseph Izraelevitz (CoRR, 2025)