New name

Author: Theomat

CONTRIBUTING.md

@@ -1,4 +1,4 @@
-# Contributing to ProgSynth
+# Contributing to DeepSynth2
 
 Feel free to open an issue or pull request if you have any questions or suggestions.
 If you plan to work on an issue, let us know in the issue thread so we can avoid duplicate work.

LICENSE.md

@@ -1,6 +1,6 @@
 MIT License
 
-Copyright (c) 2023 Nathanaël FIJALKOW & Théo MATRICON
+Copyright (c) 2025 Nathanaël FIJALKOW & Théo MATRICON
 
 Permission is hereby granted, free of charge, to any person obtaining a copy
 of this software and associated documentation files (the "Software"), to deal

README.md

@@ -1,20 +1,20 @@
-![ProgSynth Logo](./images/logo.png)
+![DeepSynth2 Logo](./images/logo.png)
 
 --------------------------------------------------------------------------------
-[![Tests](https://github.com/nathanael-fijalkow/ProgSynth/actions/workflows/tests.yaml/badge.svg)](https://github.com/nathanael-fijalkow/AutoSynth/actions/workflows/tests.yaml)
+[![Tests](https://github.com/SynthesisLab/DeepSynth2/actions/workflows/tests.yaml/badge.svg)](https://github.com/SynthesisLab/DeepSynth2/actions/workflows/tests.yaml)
 
-ProgSynth is a high-level framework that enables to leverage program synthesis for other domains such as reinforcement learning or system design.
+DeepSynth2 is a high-level framework that enables to leverage program synthesis for other domains such as reinforcement learning or system design.
 
 <!-- toc -->
 
-- [More About ProgSynth](#more-about-progsynth)
+- [More About DeepSynth2](#more-about-deepsynth2)
   - [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 ProgSynth](#install-progsynth)
+    - [Install DeepSynth2](#install-deepsynth2)
 - [Documentation](#documentation)
-  - [Online](https://nathanael-fijalkow.github.io/ProgSynth/)
+  - [Online](https://theomat.github.io/DeepSynth2/)
   - [Local](#documentation)
 - [Troubleshooting](#troubleshooting)
 - [Examples](./examples)
@@ -23,9 +23,9 @@ ProgSynth is a high-level framework that enables to leverage program synthesis f
 
 <!-- tocstop -->
 
-## More About ProgSynth
+## More About DeepSynth2
 
-At a granular level, ProgSynth is a library that consists of the following components:
+At a granular level, DeepSynth2 is a library that consists of the following components:
 
 | Component | Description |
 | ---- | --- |
@@ -44,7 +44,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.
-ProgSynth provides already implemented algorithms that combine both approaches to get the best of both worlds: speed and guarantees!
+DeepSynth2 provides already implemented algorithms that combine both approaches to get the best of both worlds: speed and guarantees!
 
 ### A Scalable Framework
 
@@ -60,9 +60,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 ProgSynth
+#### Install DeepSynth2
 
-ProgSynth can be installed from source with `pip`, `conda` or `poetry`.
+DeepSynth2 can be installed from source with `pip`, `conda` or `poetry`.
 
 ```bash
 pip install .
@@ -78,7 +78,7 @@ See this [open issue of poetry](https://github.com/python-poetry/poetry/issues/6
 
 ## Documentation
 
-[Online Documentation](https://nathanael-fijalkow.github.io/ProgSynth/)
+[Online Documentation](https://theomat.github.io/DeepSynth2/)
 
 
 You might want to generate html pages of the documentation locally, where usage, contribution guidelines and more can be found.
@@ -105,16 +105,16 @@ There are some known issues:
 
 ## The Team
 
-ProgSynth is a project initiated by [Nathanaël Fijalkow](https://nathanael-fijalkow.github.io/) and by [Théo Matricon](https://theomat.github.io/).
+DeepSynth2 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 ProgSynth.
+- (2023) [Félix Yvonnet](https://github.com/Felix-Yvonnet) did a 2 months internship to work on restarts, a future feature of DeepSynth2.
 - (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
 
-ProgSynth has a MIT license, as found in the [LICENSE](LICENSE.md) file.
+DeepSynth2 has a MIT license, as found in the [LICENSE](LICENSE.md) file.