Rename DeepSynth2 to DeepSynth in README

Author: nathanael-fijalkow

README.md

@@ -1,20 +1,18 @@
-![DeepSynth2 Logo](./images/logo.png)
-
 --------------------------------------------------------------------------------
-[![Tests](https://github.com/SynthesisLab/DeepSynth2/actions/workflows/tests.yaml/badge.svg)](https://github.com/SynthesisLab/DeepSynth2/actions/workflows/tests.yaml)
+[![Tests](https://github.com/SynthesisLab/DeepSynth/actions/workflows/tests.yaml/badge.svg)](https://github.com/SynthesisLab/DeepSynth/actions/workflows/tests.yaml)
 
-DeepSynth2 is a high-level framework that enables to leverage program synthesis for other domains such as reinforcement learning or system design.
+DeepSynth is a high-level framework that enables to leverage program synthesis for other domains such as reinforcement learning or system design.
 
 <!-- toc -->
 
-- [More About DeepSynth2](#more-about-deepsynth2)
+- [More About DeepSynth](#more-about-DeepSynth)
   - [Combining Deep Learning with Theoretical Guarantees](#combining-deep-learning-with-theoretical-guarantees)
   - [A Scalable Framework](#a-scalable-framework)
 - [Installation](#installation)
   - [From Source](#from-source)
-    - [Install DeepSynth2](#install-deepsynth2)
+    - [Install DeepSynth](#install-DeepSynth)
 - [Documentation](#documentation)
-  - [Online](https://theomat.github.io/DeepSynth2/)
+  - [Online](https://theomat.github.io/DeepSynth/)
   - [Local](#documentation)
 - [Troubleshooting](#troubleshooting)
 - [Examples](./examples)
@@ -23,9 +21,9 @@ DeepSynth2 is a high-level framework that enables to leverage program synthesis
 
 <!-- tocstop -->
 
-## More About DeepSynth2
+## More About DeepSynth
 
-At a granular level, DeepSynth2 is a library that consists of the following components:
+At a granular level, DeepSynth is a library that consists of the following components:
 
 | Component | Description |
 | ---- | --- |
@@ -44,7 +42,7 @@ Elaborating Further:
 
 The advantage of "classic" algorithms are their theoretical guarantees.
 But many new deep learning based methods have emerged, they provide a tremendous efficiency but lose almost all theoretical guarantees.
-DeepSynth2 provides already implemented algorithms that combine both approaches to get the best of both worlds: speed and guarantees!
+DeepSynth provides already implemented algorithms that combine both approaches to get the best of both worlds: speed and guarantees!
 
 ### A Scalable Framework
 
@@ -60,9 +58,9 @@ For example, you can split probabilistic grammars into disjoint sub grammars to
 
 If you are installing from source, you will need Python 3.8 or later.
 
-#### Install DeepSynth2
+#### Install DeepSynth
 
-DeepSynth2 can be installed from source with `pip`, `conda` or `poetry`.
+DeepSynth can be installed from source with `pip`, `conda` or `poetry`.
 
 ```bash
 pip install .
@@ -78,7 +76,7 @@ See this [open issue of poetry](https://github.com/python-poetry/poetry/issues/6
 
 ## Documentation
 
-[Online Documentation](https://theomat.github.io/DeepSynth2/)
+[Online Documentation](https://theomat.github.io/DeepSynth/)
 
 
 You might want to generate html pages of the documentation locally, where usage, contribution guidelines and more can be found.
@@ -105,16 +103,16 @@ There are some known issues:
 
 ## The Team
 
-DeepSynth2 is a project initiated by [Nathanaël Fijalkow](https://nathanael-fijalkow.github.io/) and by [Théo Matricon](https://theomat.github.io/).
+DeepSynth is a project initiated by [Nathanaël Fijalkow](https://nathanael-fijalkow.github.io/) and by [Théo Matricon](https://theomat.github.io/).
 It is based on the [DeepSynth](https://github.com/nathanael-fijalkow/DeepSynth) project of [Nathanaël Fijalkow](https://nathanael-fijalkow.github.io/), [Guillaume Lagarde](https://guillaume-lagarde.github.io/), [Théo Matricon](https://theomat.github.io/), [Kevin Ellis](https://www.cs.cornell.edu/~ellisk/), [Pierre Ohlmann](https://www.irif.fr/~ohlmann/), Akarsh Potta
 
 Former:
 
-- (2023) [Félix Yvonnet](https://github.com/Felix-Yvonnet) did a 2 months internship to work on restarts, a future feature of DeepSynth2.
+- (2023) [Félix Yvonnet](https://github.com/Felix-Yvonnet) did a 2 months internship to work on restarts, a future feature of DeepSynth.
 - (2023) [Priscilla Tissot](https://fr.linkedin.com/in/priscilla-tissot-9493851b8) did a 7 weeks long internship working on the Carel neural network and trying to improve the performance of our prediction models.
 - (2022) [Gaëtan Margueritte](https://github.com/gaetanmargueritte) did a four-month internship. He created the regexp and transduction DSLs, the first tutorial and first drafts of code related to the use of user defined constants.
 - (2022) Utkarsh Rajan did a two-month internship. He contributed to the implementation of bucket search and worked on the tower DSL.
 
 ## License
 
-DeepSynth2 has a MIT license, as found in the [LICENSE](LICENSE.md) file.
+DeepSynth has a MIT license, as found in the [LICENSE](LICENSE.md) file.