Synthesizing Libraries of Programs with Auxiliary Functions. - Habibur Rahman; Thirupathi Reddy Emireddy; Kenneth Tjhia; Elham Parhizkar; Levi Lelis (Trans. Mach. Learn. Res., 2024)