diff --git a/README.md b/README.md
index 87d86fe..b6dc3df 100644
--- a/README.md
+++ b/README.md
@@ -24,6 +24,7 @@ https://deepmind.com/research/publications/
 
 ## Projects
 
+*   [Satore: First-order logic saturation with atom rewriting](satore)
 *   [Characterizing signal propagation to close the performance gap in unnormalized ResNets](nfnets), ICLR 2021
 *   [Uncovering the Limits of Adversarial Training against Norm-Bounded Adversarial Examples](adversarial_robustness)
 *   [Functional Regularisation for Continual Learning](functional_regularisation_for_continual_learning), ICLR 2020