Efficient Interpolation Beyond Cut-Free Proofs: Admissible Cuts and Optimized Extraction. - Simon Corbard; Anela Lolic (ICTAC, 2025)