3 papers
cs.PL2026
Relaxed activation analysis of dataflow networks - A clock calculus for machine learning and real-time scheduling
William Gaudelier, Albert Cohen, Dumitru Potop Butucaru
Previous work has shown that the simple dataflow primitives of the Lustre language allow the natural, semantically unambiguous, and compact representation of machine learning (ML)…
math.LO2024
Cross-constraint basis theorems and products of partitions
Julien Cervelle, William Gaudelier, Ludovic Levy Patey
We both survey and extend a new technique from Lu Liu to prove separation theorems between products of Ramsey-type theorems over computable reducibility. We use this technique to s…
math.LO2022
The Reverse Mathematics of CAC for trees
Julien Cervelle, William Gaudelier, Ludovic Patey
CAC for trees is the statement asserting that any infinite subtree of has an infinite path or an infinite antichain. In this paper, we study the computat…