research
∙
07/19/2023
Efficient Guided Generation for Large Language Models
In this article we describe an efficient approach to guiding language mo...
share
research
∙
05/24/2020
miniKanren as a Tool for Symbolic Computation in Python
In this article, we give a brief overview of the current state and futur...
research
∙
09/20/2015
A Statistical Theory of Deep Learning via Proximal Splitting
In this paper we develop a statistical theory and an implementation of d...
research
∙
02/11/2015