Research Engineer, Artifical Intelligence., 2024-Present
MIAT, Inrae
Postdoc, Computational design of protein structure with diffusion models., 2023-2024
MIAT, Inrae
Postdoc, Multicriteria Optimization in Cost Function Networks applied to Computational Protein Design., 2022-2023
MIAT, Inrae
PhD, Vérification formelle et apprentissage logique pour la modélisation qualitative à partir de données single-cell, 2018-2022
LS2N, Ecole Centrale de Nantes
Publications
Conferences
Samuel Buchet, David Allouche, Simon de Givry, Thomas Schiex. Bi-Objective Discrete Graphical Model Optimization. The 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, May 2024, Uppsala (Suède), Sweden. ⟨hal-04556832⟩
Samuel Buchet, Francesco Carbone, Morgan Magnin, Mickaël Ménager, Olivier Roux. Inference of Gene Networks from Single Cell Data through Quantified Inductive Logic Programming. CSBio2021, Oct 2021, FULLY VIRTUAL, Thailand. ⟨10.1145/3486713.3486746⟩. ⟨hal-03468746⟩
Preprint
Delphine Dessaux, Samuel Buchet, Lucie Barthe, Marianne Defresne, Gianluca Cioci, et al.. Designing symmetrical multi-component proteins using a hybrid generative AI approach. 2024. ⟨hal-04646620⟩
Samuel Buchet, Morgan Magnin, Olivier Roux. Proving Unreachability in Automata Networks by Mixing Static Analysis and Bounded Model Checking. 2023. ⟨hal-03959546⟩
Thesis
Samuel Buchet. Vérification formelle et apprentissage logique pour la modélisation qualitative à partir de données single-cell. Apprentissage [cs.LG]. École centrale de Nantes, 2022. Français. ⟨NNT : 2022ECDN0011⟩. ⟨tel-03717511⟩ ⟨slides⟩