Gregory Rosenblatt

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 5

Top Topics

Constraint Solving

Proof Theoretic

Global Constraints

Constraint Logic Programming

Top Venues

Proc. ACM Program. Lang.

Frontiers Artif. Intell.

ICLR (Workshop)

Publications

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, John Osborne, Matthew Might
The precision medicine process for treating rare disease using the artificial intelligence tool mediKanren. Frontiers Artif. Intell. 5 (2022)
Lisa Zhang, Gregory Rosenblatt, Ethan Fetaya, Renjie Liao, William E. Byrd, Matthew Might, Raquel Urtasun, Richard S. Zemel
Neural Guided Constraint Logic Programming for Program Synthesis. NeurIPS (2018)
Lisa Zhang, Gregory Rosenblatt, Ethan Fetaya, Renjie Liao, William E. Byrd, Matthew Might, Raquel Urtasun, Richard S. Zemel
Neural Guided Constraint Logic Programming for Program Synthesis. CoRR (2018)
Lisa Zhang, Gregory Rosenblatt, Ethan Fetaya, Renjie Liao, William E. Byrd, Raquel Urtasun, Richard S. Zemel
Leveraging Constraint Logic Programming for Neural Guided Program Synthesis. ICLR (Workshop) (2018)
William E. Byrd, A. Ballantyne, Gregory Rosenblatt, Matthew Might
A unified approach to solving seven programming problems (functional pearl). Proc. ACM Program. Lang. 1 (ICFP) (2017)