gaetanserre

PhD Student in applied mathematics

Centre Borelli, ENS Paris-SaclayGif-Sur-Yvette

Pinned Repositories

AES_256-Python
An AES-256 file encryption tool written in Python 3
Language:Python7 3 04
ChessAnalyzer
An in-depth chess game analyzer written with Python 3 using Stockfish engine
Language:Python10 4 02
L2RPN-2022_PPO-Baseline
This repository contains the code to train the baseline agent provided in the 2022 edition of Learning to Run a Power Network and to recreate the experiments (as well as the figures) of the paper Reinforcement learning for Energies of the future and carbon neutrality: a Challenge Design.
Language:Jupyter Notebook12 3 02
Lean-Formalization
Formalization of some mathematical results using Lean 4 and Mathlib.
Language:Lean00
Lean-LIPO
Lean formalization of the proof on the upper bound of the probability for LIPO to reject a candidate.
Language:Lean00
LeanCal
This is a simple calendar manager written in Lean that sends notification using `notify-send` whenever an event is due. Compatible with Waybar.
Language:Lean00
pyGKLS
pyGKLS is a Python wrapper for the GKLS generator of global optimization test functions (Giavano et al., 2003).
Language:C++0 1 00
SBS-Proofs
Lean 4 proofs associated with the paper "Stein Boltzmann Sampling" by G. Serré, A. Kalogeratos, and N. Vayatis.
Language:Lean0 1 00
Stochastic-Global-Optimization
Implementation on several global optimization algorithms.
Language:Python0 1 00
ViCTORIA
ViCTORIA is a UCI chess engine built from scratch using C++ 20.
Language:C++4 3 10

gaetanserre/grid2gif
Language:Python
gaetanserre/ray
A fork of the Ray framework that aims to implements two-players AlphaZero algorithm.
Language:Python
gaetanserre/Kawa
Compilateur du langage objet Kawa vers l'assembleur MIPS en OCaml.
Language:OCaml
gaetanserre/Variational-Auto-Encoder
This repository aims to implement a Variational Auto Encoder to generate images that could belong to the MNIST dataset.
Language:Jupyter Notebook
gaetanserre/L2RPN-NEURIPS-2020
This my participation to the challenge L2RPN NEURIPS 2020 - Adaptability Track.
Language:Python1
gaetanserre/ViCTORIA
ViCTORIA is a UCI chess engine built from scratch using C++ 20.
Language:C++4
gaetanserre/Formal-Language-Algorithms
Algorithms for formal language written with Python 3 with nltk
Language:Python
gaetanserre/ChessAnalyzer
An in-depth chess game analyzer written with Python 3 using Stockfish engine
Language:Python102
gaetanserre/AES-Electron
File encryption and PDF digital signature software made with Electron.
Language:JavaScript