From e5bc0cdc102c23d4191460dff6059036a126d44d Mon Sep 17 00:00:00 2001 From: Louise Deason Date: Tue, 9 Mar 2021 09:45:57 +0000 Subject: [PATCH] Initial release of "satore". PiperOrigin-RevId: 361758060 --- README.md | 1 + 1 file changed, 1 insertion(+) 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