Articles and preprints

• Improving Fine-Tuning with Latent Cluster Correction, 2024, accepted at Fine-Tuning in Modern Machine Learning: Principles and Scalability (FITML) 2024.

• Trust your neighbours: Handling noise in multi-objective optimisation using kNN-averaging, 2023, with Stefan Klikovits, Ahmet Cetinkaya, and Paolo Arcaini. In Applied Soft Computing

• Topological recurrence theorems for infinitary probabilistic model checking, 2022, with Natsuki Urabe and Ichiro Hasuo.

• Frenetic at the SBST 2021 tool competition, 2021, with Ezequiel Castellano, Ahmet Cetinkaya, Stefan Klikovits, Xiaoyi Zhang, and Paolo Arcaini. In IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST).

• Opetopic algebras III: Presheaf models of homotopy-coherent opetopic algebras, 2020, with Chaitanya Leena Subramaniam. HAL mirror.

• Opetopic algebras II: Homotopy-coherent opetopic algebras, in preparation, with Chaitanya Leena Subramaniam.

• Opetopic algebras I: Algebraic structures on opetopic sets, 2022, with Chaitanya Leena Subramaniam. In Higher Structures, Volume 6, Issue 1.

• Type theoretical approaches to opetopes, 2022, with Pierre-Louis Curien and Samuel Mimram. In Higher Structures, Volume 6, Issue 1. Short version about the unnamed approach accepted and presented at Category Theory (CT) 2019.

• A sequent calculus for opetopes, 2019, with Pierre-Louis Curien and Samuel Mimram. In LICS’19: Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science.

• The equivalence between opetopic sets and many-to-one polygraphs, 2018. HAL mirror. Submitted. Extended abstract accepted and presented at Higher-Dimensional Rewriting and Algebra (HDRA/FLOC) 2018.

Selected presentations

• Recurrence theorems for topological Markov chains, 2022-04-22, iTHEMS math seminar

• Introduction to multi-armed bandits, 2021-07-14, G0 Seminar.

• Tensor product of Lawvere theories, 2021-04-14, G0 Seminar. Presentation of ongoing research.

• About opetopes, 2021-03-13, Young Mathematician’s Meeting 2021. Overview of my PhD thesis.

• Polynomial functors and opetopes, 2020-12-02, G0 Seminar. Presentation of the paper of Kock, Joyal, Batanin, and Mascari.

• Opetopic algebras, 2019-10-16, Journées LHC. Presentation of the main results of Opetopic algebras I: algebraic structures on opetopic sets (see above).

• Two syntactical approaches to opetopes, 2018-10-18, Journées LHC. Presentation about the named and unnamed approaches to opetopes from Type theoretical approaches to opetopes (see above).

• The equivalence between opetopic sets and many-to-one polygraphs, 2018-07-07, Higher-Dimensional Rewriting and Algebra (HDRA) 2018. Quick presentation about The equivalence between opetopic sets and many-to-one polygraphs (see above).

• Thesis presentation, 2017-11-06, IRIF Newcomers Day.

Projects

• noisy-moo: A wrapper-based framework for pymoo problem modification and algorithm benchmarking. Initially developed to test KNN-averaging.

• opetopy, 2018. A Python implementation of the opetopes and opetopic sets derivation systems presented in Syntactic approaches to opetopes and Syntactic approach to opetopic categories (see above).

Thesis

Opetopes: Syntactic and Algebraic Aspects, PhD thesis, 2020, under the supervision of Pierre-Louis Curien and Samuel Mimram. Defended on 2020-10-15 before a thesis jury comprised of Denis-Charles Cisinski (president), Nicola Gambino (referee), Marek Zawadowski (referee), Eugenia Cheng (member), Geoffroy Horel (member), François Métayer (member), Pierre-Louis Curien (director), and Samuel Mimram (director). Presentation slides (in French and English).