Code Monkey home page Code Monkey logo

Hello there!

My name is Gaëtan Serré, I am a PhD student in mathematics at Centre Borelli, the math lab of the École Normale Supérieure de Paris-Saclay.

I work on

  • measure/probability theory;
  • stochastic global optimization;
  • flows.

most used languages


Note: Top languages is only a metric of the languages my public code consists of and doesn't reflect experience or skill level.

Main projects

  • Global Optimization: Implementation of several global optimization algorithms. See demo here.
  • LIPO-E: Set of global optimization algorithms derivated from Malherber and Vayatis, 2017. See paper.
  • SVGD analysis: An implementation of the Stein Variational Gradient Descent algorithm along with a detailed summary of the theoretical results.
  • GAiA: A chess program that uses a complex residual neural network specialized in image recognition.
  • LiSA: A 3D path tracing render engine.
  • L2RPN 2022 PPO Baseline: The code of the baseline agent provided in the 2022 edition of Learning to Run a Power Network.
  • AlphaZero (RLlib): An implementation of the AlphaZero algorithm in a fork of the RLlib library.

CV

Connect with me

Gaëtan Serré's Projects

aes-electron icon aes-electron

File encryption and PDF digital signature software made with Electron.

aoc icon aoc

Repository for my solutions to the Advent of Code 2023 challenges in Lean 4.

chess-viewer icon chess-viewer

A easy-to-use GUI for chess engine powered by electron.

chessanalyzer icon chessanalyzer

An in-depth chess game analyzer written with Python 3 using Stockfish engine

gaia icon gaia

GAiA is a UCI chess engine built with C++ 17, ONNX and Pytorch. It performs an in-depth analysis and uses a complex squeeze-and-excitation residual network to evaluate each chess board.

kawa icon kawa

Compilateur du langage objet Kawa vers l'assembleur MIPS en OCaml.

l2rpn-2022_ppo-baseline icon 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.

l2rpn-neurips-2020 icon l2rpn-neurips-2020

This my participation to the challenge L2RPN NEURIPS 2020 - Adaptability Track.

lipo-e icon lipo-e

This repository contains an implementation of LIPO, LIPO-E, AdaLIPO, and AdaLIPO-E.

lisa icon lisa

LiSA is a path tracing render engine developped in C++ using NVidia Optix.

mklean icon mklean

Automating the creation of Lean 4 projects.

neuralnet icon neuralnet

This repository aims to implement a simple Deep Learning library.

numpy_parser icon numpy_parser

Checks if a string is a valid Numpy function expression given a list of Numpy primitives.

ray icon ray

A fork of the Ray framework that aims to implements two-players AlphaZero algorithm.

sbs-proofs icon sbs-proofs

Lean 4 proofs associated with the paper "Stein Boltzmann Sampling" by G. Serré, A. Kalogeratos, and N. Vayatis.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.