research
∙
08/20/2023
ExpeL: LLM Agents Are Experiential Learners
The recent surge in research interest in applying large language models ...
share
research
∙
06/10/2023
Pusℍ: Concurrent Probabilistic Programming with Function Spaces
We introduce a prototype probabilistic programming language (PPL) called...
research
∙
01/30/2020
Elementary Logic in Linear Space
First-order logic is typically presented as the study of deduction in a ...
research
∙
04/24/2019
On Learning to Prove
In this paper, we consider the problem of learning a (first-order) theor...
research
∙
06/20/2018
An Application of Computable Distributions to the Semantics of Probabilistic Programs
In this chapter, we explore how (Type-2) computable distributions can be...
research
∙
06/02/2018
GamePad: A Learning Environment for Theorem Proving
In this paper, we introduce a system called GamePad that can be used to ...
research
∙
12/12/2013