533 citations · 684 across the 9 of their papers we have counts for
10 papers
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Kaiyu Yang, Aidan M. Swope, Alex Gu +6
Large language models (LLMs) have shown promise in proving formal theorems using proof assistants such as Lean. However, existing methods are difficult to reproduce or build on, du…
Homogeneous fractional integral operators on Lebesgue and Morrey spaces, Hardy--Littlewood--Sobolev and Olsen-type inequalities
Kaikai Yang, Hua Wang
Let be the homogeneous fractional integral operator defined as \begin{equation*} T_{Ω,α}f(x):=\int_{\mathbb R^n}\frac{Ω(x-y)}{|x-y|^{n-α}}f(y)\,dy, \end{equation*} and th…
Generating Natural Language Proofs with Verifier-Guided Search
Kaiyu Yang, Jia Deng, Danqi Chen
Reasoning over natural language is a challenging problem in NLP. In this work, we focus on proof generation: Given a hypothesis and a set of supporting facts, the model generates a…
Bidding Agent Design in the LinkedIn Ad Marketplace
Yuan Gao, Kaiyu Yang, Yuanlong Chen +2
We establish a general optimization framework for the design of automated bidding agent in dynamic online marketplaces. It optimizes solely for the buyer's interest and is agnostic…
Learning Symbolic Rules for Reasoning in Quasi-Natural Language
Kaiyu Yang, Jia Deng
Symbolic reasoning, rule-based symbol manipulation, is a hallmark of human intelligence. However, rule-based systems have had limited success competing with learning-based systems…
Strongly Incremental Constituency Parsing with Graph Neural Networks
Kaiyu Yang, Jia Deng
Parsing sentences into syntax trees can benefit downstream applications in NLP. Transition-based parsers build trees by executing actions in a state transition system. They are com…