A unified approach to solving seven programming problems (functional pearl). - William E. Byrd; A. Ballantyne; Gregory Rosenblatt; Matthew Might (Proc. ACM Program. Lang., 2017)

Leveraging Constraint Logic Programming for Neural Guided Program Synthesis. - Lisa Zhang; Gregory Rosenblatt; Ethan Fetaya; Renjie Liao; William E. Byrd; Raquel Urtasun; Richard S. Zemel (ICLR (Workshop), 2018)

Neural Guided Constraint Logic Programming for Program Synthesis. - Lisa Zhang; Gregory Rosenblatt; Ethan Fetaya; Renjie Liao; William E. Byrd; Matthew Might; Raquel Urtasun; Richard S. Zemel (NeurIPS, 2018)

The precision medicine process for treating rare disease using the artificial intelligence tool mediKanren. - Aleksandra Foksinska; Camerron M. Crowder; Andrew B. Crouse; Jeff Henrikson; William E. Byrd; Gregory Rosenblatt; Michael J. Patton; Kaiwen He; Thi K. Tran-Nguyen; Marissa Zheng; Stephen A. Ramsey; Nada Amin; et al. (Frontiers Artif. Intell., 2022)