3 papers
cs.LG2026
: A Time-Series Foundation Model for Forecasting with Context
Lucas Meyer, Claudio Sole, Huikan Xiang +6
We present , a family of open-weights foundation models for forecasting with multivariate context. We release its first two members: and …
cs.PL2021
Verified Functional Programming of an Abstract Interpreter
Lucas Franceschino, David Pichardie, Jean-Pierre Talpin
Abstract interpreters are complex pieces of software: even if the abstract interpretation theory and companion algorithms are well understood, their implementations are subject to…
cs.CR2020
LIO*: Low Level Information Flow Control in F*
Jean-Joseph Marty, Lucas Franceschino, Jean-Pierre Talpin +1
We present Labeled Input Output in F* (LIO*), a verified framework that enforces information flow control (IFC) policies developed in F* and automatically extracted to C. Inspired…