research
∙
07/18/2023
Llama 2: Open Foundation and Fine-Tuned Chat Models
In this work, we develop and release Llama 2, a collection of pretrained...
share
research
∙
02/27/2023
LLaMA: Open and Efficient Foundation Language Models
We introduce LLaMA, a collection of foundation language models ranging f...
research
∙
05/23/2022
HyperTree Proof Search for Neural Theorem Proving
We propose an online training procedure for a transformer-based automate...
research
∙
02/21/2020
Accessing Higher-level Representations in Sequential Transformers with Feedback Memory
Transformers are feedforward networks that can process input tokens in p...
research
∙
05/25/2018
