2022
The precision medicine process for treating rare disease using the artificial intelligence tool mediKanren.
Frontiers Artif. Intell., 2022

2018
Neural Guided Constraint Logic Programming for Program Synthesis.
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Leveraging Constraint Logic Programming for Neural Guided Program Synthesis.
Proceedings of the 6th International Conference on Learning Representations, 2018

2017
A unified approach to solving seven programming problems (functional pearl).
Proc. ACM Program. Lang., 2017