136 citations · 313 across the 25 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LG2026
In a Streaming World, Should You Stand Still? A Comprehensive Benchmark of Anomaly Detection in Streams
Magali Parrino, Antoine Ajenjo, Emmanuel Remy +3
Time series anomaly detection (TSAD) is increasingly deployed in streaming settings, where data arrive sequentially and may exhibit non-stationarity. As a result, several works fro…
cs.LO2026
Descriptive Complexity in Lean: Completeness by First-Order Reductions
Pierre Senellart, Anton Gnatenko
We show that descriptive complexity can serve as a foundation for formalizing computational complexity results in a proof assistant, by constructing a Lean library centered around…