output
20042026
most citedThermodynamics-based Artificial Neural Networks for constitutive modeling

421 citations

researchers with a paper here
collaborating institutions

226 papers

cs.LO2026

Antichains for Concurrent Parameterized Games

Nathalie Bertrand, Patricia Bouyer, Gaëtan Staquet

Concurrent parameterized games involve a fixed yet arbitrary number of players. They are described by finite arenas in which the edges are labeled with languages that describe the…

eess.SY2026

Modelling and Analysis of Supply Chains using Product Time Petri Nets

Eric Lubat, Pierre-Emmanuel Hladik, Yoann Mateu +1

Supply chains involve geographically distributed manufacturing and assembly sites that must be coordinated under strict timing and resource constraints. While many existing approac…

math.NA2025

Data-driven material identification in micromorphic continua

Jacinto Ulloa, Laurent Stainier

We introduce a data-driven framework for identifying material behavior from full-field kinematics and external force measurements in generalized (micromorphic) continua. The aim is…

cs.CL2025

An Empirical Analysis of Discrete Unit Representations in Speech Language Modeling Pre-training

Yanis Labrak, Richard Dufour, Mickaël Rouvier

This paper investigates discrete unit representations in Speech Language Models (SLMs), focusing on optimizing speech modeling during continual pre-training. In this paper, we syst…

cs.CL2025

MediQAl: A French Medical Question Answering Dataset for Knowledge and Reasoning Evaluation

Adrien Bazoge

This work introduces MediQAl, a French medical question answering dataset designed to evaluate the capabilities of language models in factual medical recall and reasoning over real…

cs.PL2025★ 1 cited

AdapTT: Functoriality for Dependent Type Casts

Arthur Adjedj, Meven Lennon-Bertrand, Thibaut Benjamin +1

The ability to cast values between related types is a leitmotiv of many flavors of dependent type theory, such as observational type theories, subtyping, or cast calculi for gradua…