2024 Activity Report

2024 Activity Report • June 30, 2025

ExpressIF® leverages symbolic artificial intelligence help small businesses grow

ExpressIF®, the CEA’s symbolic AI platform, was integrated into BIRDIA’s solution, which helps traditional small businesses sort through dozens of opportunities and target only the best-qualified prospects.

Read more
2024 Activity Report • June 27, 2025

AIHerd uses CEA-List AI technologies to analyze cattle behavior

AIHerd commercializes a powerful AI-enabled herd monitoring solution for cattle farmers. The technology, developed by CEA-List, provides a precise analysis of herd health.

Read more
2024 Activity Report • June 27, 2025

Faster detection of radioactive materials at border crossings

CEA-List developed new, faster approaches to vehicle inspection and integrated them into Bertin Technologies’ gantry-type detectors.

Read more
2024 Activity Report • June 27, 2025

Formal methods for program analysis

CEA-List possesses a formal methods-based toolkit that can help cybersecurity experts pinpoint vulnerabilities in software and prove that software protects data privacy and integrity—something that is required for the highest levels of software security certification.

Read more
2024 Activity Report • June 27, 2025

NACRE, a digital twin for the design of RTE’s future power grid control system

CEA-List is working with RTE on the design of the power grid infrastructure operator’s future power grid control system.

Read more
2024 Activity Report • June 27, 2025

First prize in the EvalLLM text-based information extraction challenge

CEA won the EvalLLM 2024 challenge, organized by the French Ministerial Agency for AI and Defense (AMIAD) in May 2024.

Read more
2024 Activity Report • June 27, 2025

Quantitative measurement of uncertainties in artificialintelligence-guided simulation

CEA-List’s probabilistic deep learning tools can be used to quantitatively measure prediction reliability.

Read more
2024 Activity Report • June 27, 2025

PyRAT wins formal verification competition

CEA-List researchers developed PyRAT, a formal verification tool for neural networks, to respond to growing demand for more reliable AI-based systems.

Read more