research
∙
07/11/2023
Explaining Competitive-Level Programming Solutions using LLMs
In this paper, we approach competitive-level programming problem-solving...
share
research
∙
07/06/2023
Focused Transformer: Contrastive Training for Context Scaling
Large language models have an exceptional capability to incorporate new ...
research
∙
03/08/2023
Magnushammer: A Transformer-based Approach to Premise Selection
Premise selection is a fundamental problem of automated theorem proving....
research
∙
05/22/2022
Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers
In theorem proving, the task of selecting useful premises from a large l...
research
∙
10/26/2021