Exploratory action LearnToOpt Learning to Optimize : Beyond Gradient-Based Optimization Many difficult real-world optimization problems require the usage of randomized derivative-free...
Challenge LiberAbaci The Coq proof assistant and mathematics education Computer proof tools have gained recognition in the production of reliable software and the...
Exploratory action Backbone Efficient Symbolic Manipulation for Sparse Systems We seek to explicit, and then exploit, potential structural properties of algebraic systems in order...
Exploratory action BrainGPT Transforming Transformers into Cognitive Language Models In the wake of the emergence of large-scale language models such as ChatGPT, the BrainGPT project is...
Exploratory action COMPARTIMENTAGE Spatio-Temporal Imaging and Modeling of Signaling Pathway Compartmentalization G protein-coupled receptors (GPCRs) form a large class of membrane receptors mainly targeted by...
Exploratory action Define preDicting protEin Functions : wIder aNd dEeper ABS develops novel methods to study protein structure and dynamics, using computational geometry...
Exploratory action DEPARTURE DistributEd comPuting And network nonlocaliTy in the qUantum inteRnEt Quantum correlations are a cornerstone of quantum information theory, to understand its foundations...
Exploratory action IMPROOF Interactive Direct Manipulation for Theorem Proving and Exploration We aim to find universal mechanisms for interactive proof development that are based on Direct...
Exploratory action LiveIt Feeling and perceiving the symptoms of schizophrenia in augmented reality to reduce stigma The symptoms of schizophrenia are difficult to visualise and this often leads to significant...
Exploratory action MURENE Study of the problem of mutual debt reduction in B2B payment networks The reduction of mutual debts between companies is a major economic stake, especially in times of...
Exploratory action NAP NAP - Apprentissage de représentation pour les données Non Applicable et relationnelles Most machine learning models expect to receive tables with samples in rows and attributes in columns...
Exploratory action StellaCage StellaCage: Geometry of plasma confinement in stellarators In collaboration with the start-up Renaissance Fusion, based in Grenoble, we explore some...
Exploratory action 2MDS Multiscale Modeling of Dravet Syndrome Our aim is to develop a multi-scale modeling framework for channelopathies, a group of diseases...