SmartChoices: Augmenting Software with Learned Implementations. - Daniel Golovin; Gábor Bartók; Eric Chen; Emily Donahue; Tzu-Kuo Huang; Efi Kokiopoulou; Ruoyan Qin; Nikhil Sarda; Justin Sybrandt; Vincent Tjeng (CoRR, 2023)