Search Results for author:
Found 2 papers, 2 papers with code
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Using this data, we develop ReProver (Retrieval-Augmented Prover): an LLM-based prover augmented with retrieval for selecting premises from a vast math library.
Representation Learning for Remote Sensing: An Unsupervised Sensor Fusion Approach
Using a dataset of 47 million unlabeled coterminous image triplets, we train an encoder to produce semantically meaningful representations from any possible combination of channels from the input sensors.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
