PrediPrune: Reducing Verification Overhead in Souper with Machine Learning Driven Pruning.
Journal Article
Overview
publication date
- September 1, 2025
Date in CU Experts
- November 5, 2025 3:29 AM
Full Author List
- Ishimwe A-T; Shivakumar R; Kim H; Lehman T; Izraelevitz J
author count
- 5
Additional Document Info
volume
- abs/2509.16497