LLM for Romanian
The project is focused on pre-training and fine-tuning of Large Language Models to obtain a foundation model for the Romanian language.
Matching Logic, Cryptography and Blockchains
This project is focused on a Lean formalization of the logical theory of KORE (an intermediate representation language used by the 𝕂 Framework) towards applying it to zero-knowledge proofs (as studied in cryptography) that may be obtained from mathematical proofs.
Matching Logic and Lean: The 𝕂 Connection
This project concerns the building on the foundation of its predecessor of the formalization of Matching μ-Logic (μML), whose textual representation is KORE, the current intermediate representation for the 𝕂 language.
AI for Chemistry
The project is focused on the methanol production from the hydrogenation of CO2 which is of major importance because it could mitigate the pressure on climate warming and depletion of fossil fuels.
AI for RPA
The project is focused on autonomous UI testing using AI.
In-flight failure prediction of electronics using Artificial Intelligence (DETECT-AI)
The project’s goal is to analyze satellite sub-systems from the viewpoint of fault detection, isolation and reconfiguration (FDIR) using model-based and artificial intelligence methods.
Latent Space Curation through Hybrid Metaheuristics: A Model of Curation, Optimization and Discretization by Affective Computing
The project addresses the complex decision-making process within the algorithmically generated design framework in the field of architecture.
Machine Learning Techniques for Computer Numerical Control Machines: Exploratory Phase
The goal of this project is to explore applications of machine learning algorithms aiding computer numeric control machining.
Matching Logic and Lean: Foundations
The main goal of this project is to enhance the Matching Logic ecosystem by adding Lean support.