Refactoring Codebases through Library Design. - Ziga Kovacic; Celine Lee; Justin T. Chiu; Wenting Zhao; Kevin Ellis (CoRR, 2025)