Picture for Aidan M. Swope

Aidan M. Swope

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

Add code
Jun 27, 2023
Figure 1 for LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Figure 2 for LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Figure 3 for LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Figure 4 for LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Viaarxiv icon

Representation Learning for Remote Sensing: An Unsupervised Sensor Fusion Approach

Add code
Aug 11, 2021
Figure 1 for Representation Learning for Remote Sensing: An Unsupervised Sensor Fusion Approach
Figure 2 for Representation Learning for Remote Sensing: An Unsupervised Sensor Fusion Approach
Figure 3 for Representation Learning for Remote Sensing: An Unsupervised Sensor Fusion Approach
Figure 4 for Representation Learning for Remote Sensing: An Unsupervised Sensor Fusion Approach
Viaarxiv icon