The precision medicine process for treating rare disease using the artificial intelligence tool mediKanren.
,
,
,
,
,
,
,
,
,
,
,
,
,
Frontiers Artif. Intell., 2022
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
A unified approach to solving seven programming problems (functional pearl).
Proc. ACM Program. Lang., 2017