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 LLM4DICE Large Language Models for Detection and Correction of Errors Large Language Models (LLMs) are a hot and rapidly evolving research topic. In particular, their...
Exploratory action MEGAVOLT Machine Learning and Evolution Equations A fierce scientific problem is to build a mathematical and numerical bridge between, on the one hand...
Exploratory action Réal Réal: algebraic rewriting Rewriting is the part of computer algebra that studies the transformations of mathematical...
Exploratory action REALPRIOREIT Bayesian inference with realistic physiological priors for electrical impedance tomography (EIT) This project aims to use Bayesian inference methods to solve inverse biomedical problems, using...
Exploratory action XGAN Interpretable Representation Learning for Video GANs Despite remarkable progress in generative adversarial networks (GANs), such networks operate...
Exploratory action 2MDS Multiscale Modeling of Dravet Syndrome Our aim is to develop a multi-scale modeling framework for channelopathies, a group of diseases...
Exploratory action ALAMO Alternative algorithms for the simulation of lattice models Stochastic lattice models are of constant interest to the scientific community, both for their...
Exploratory action AM2OR Adaptive Meshes for Model Order Reduction Mesh adaptation and Model Order Reduction both aim at reducing significantly the computational cost...
Exploratory action BARD(E) Bacterial Antibiotic Resistance Diagnostics (Enhanced) Antibiotic resistance is a major public health threat, and clinicians are increasingly confronted...
Challenge COLaF Corpus and Tools for the Languages of France Through the COLaF project (Corpus et Outils pour les Langues de France, Corpus and Tools for the...
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 DATA4US Personal DAta TrAnsparency for web USers Since May 2018, General Data Protection Regulation (GDPR) regulates collection of personal data in...
Exploratory action Equity Analytics Addressing pay equity with visual analytics The goal of this project is to explore, develop, and test pay equity visual analytics solutions in...