Extending SMTCoq, a Certified Checker for SMT (Extended Abstract)
A Formal Proof of the Irrationality of $\zeta(3)$
Translation of Algorithmic Descriptions of Discrete Functions to SAT
  with Applications to Cryptanalysis Problems Feasibility Tests for Recurrent Real-Time Tasks in the Sporadic DAG
  Model Robust subspace clustering On the efficiency of decentralized epidemic management and application
  to Covid-19 A Game-Theoretic Approach to Adversarial Linear Support Vector
  Classification Modular Invariance and Structure of the Exact Wilsonian Action of N=2
  SYM A data assimilation algorithm: the paradigm of the 3D Leray-alpha model
  of turbulence Charge superselection rule does not rule out pure states of subsystems
  to be coherent superpositions of states with different charges Fredholm theory for the mean first-passage time of integrate-and-fire
  oscillators with colored noise input Recovery Guarantees for Compressible Signals with Adversarial Noise A Faster, More Intuitive RooFit Long-range Ising interactions mediated by $\lambda\phi^4$ fields:
  probing the renormalisation of sound in crystals of trapped ions Chaoticity and Coherence in Bose-Einstein Condensation and Correlations Normalized Information Distance is Not Semicomputable Bayesian inference of chaotic dynamics by merging data assimilation,
  machine learning and expectation-maximization Characterizing Big Data Management Tate tame symbol and the joint torsion of commuting operators Finite-Length Scaling for Iteratively Decoded LDPC Ensembles Transfer entropy in continuous time, with applications to jump and
  neural spiking processes Multi-Modal Emotion Detection with Transfer Learning
cs.LO