Exploratory action FORMAL Formal Proofs for Machine Learning In FORMAL, we will implement both machine learning algorithms and formal proofs of their...
Exploratory action GhostRewriter Modular control over computation in interactive theorem provers Interactive theorem provers (ITPs) address challenges in both programming and mathematics...
Exploratory action GlyphoClean Microbial Alliances for Glyphosate Detoxification Glyphosate, a widely used herbicide, is raising concerns about its potential effects on aquatic...
Exploratory action GRANIER GRAvitatioNal hazards in mountaIns in the contExt of Risks prediction — Nonsmooth modeling and simulation with data in Geomechanics In this exploratory action, it is proposed to work on numerical tools for the modelling and...
Exploratory action HYPE HYPErparameter-Free Optimization Algorithms by Online Self-Tuning In machine learning, practitioners struggle with tuning the hyperparameters of optimization...
Exploratory action I-am The Impact of Augmented Reality on Autobiographical Memory: Examining Involuntary Memories and False Memories Although the Metaverse based on virtual reality technologies quickly raised many questions about its...
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 INCLUDE Integrating fuNctional MRI and EEG with Carbon-wire Loops : towards the characterization of mUltimoDal functional biomarkErs The aim is to develop an high-resolution spatiotemporal imaging technique to map the cerebral...
Exploratory action ITHEA Computer theater The exploratory action ITHEA brings together researchers in computer science, applied arts and...
Exploratory action KoopduMonde Koopman operator modelling of nonlinear dynamical systems for ensemble methods The so-called "ensemble-based" prevision methods in oceanography and meteorology use an ensemble of...
Exploratory action LearnToOpt Learning to Optimize : Beyond Gradient-Based Optimization Many difficult real-world optimization problems require the usage of randomized derivative-free...
Exploratory action LENGA LEarning via Neural Gain for Adaption Behavioral adaptation relies on the selection of actions that maximize rewards and minimize costs by...
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 LPM Large Physics Models Data-driven ML methods for numerical simulations have shown promise in overcoming the computational...
Exploratory action MARCQ Hybrid methods combining Reinforcement Learning and PDE Optimal Control methods for Quantum Computing This project pertains to quantum computing: we are interested in the possibility of encoding a logic...
