40 citations · 42 across the 2 of their papers we have counts for
2 papers
cs.LG2023★ 40 cited
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…
cs.CV2021★ 2 cited
Representation Learning for Remote Sensing: An Unsupervised Sensor Fusion Approach
Aidan M. Swope, Xander H. Rudelis, Kyle T. Story
In the application of machine learning to remote sensing, labeled data is often scarce or expensive, which impedes the training of powerful models like deep convolutional neural ne…