← Search

Daniel Huang

2 accepted papers

2024

ExpeL: LLM Agents Are Experiential Learners

AAAI 2024technical

The recent surge in research interest in applying large language models (LLMs) to decision-making tasks has flourished by leveraging the extensive world knowledge embedded in LLMs. While there is a growing demand to tailor LLMs for custom decision-making tasks, finetuning them for specific tasks is…

2019

GamePad: A Learning Environment for Theorem Proving

ICLR 2019poster

In this paper, we introduce a system called GamePad that can be used to explore the application of machine learning methods to theorem proving in the Coq proof assistant. Interactive theorem provers such as Coq enable users to construct machine-checkable proofs in a step-by-step manner. Hence, they…