TY  - RPRT
TI  - PrediPrune: Reducing Verification Overhead in Souper with Machine Learning Driven Pruning
AU  - Ange-Thierry Ishimwe
AU  - Raghuveer Shivakumar
AU  - Heewoo Kim
AU  - Tamara Lehman
AU  - Joseph Izraelevitz
PY  - 2025
UR  - https://arxiv.org/abs/2509.16497
ID  - 2509.16497
ER  -