From coinductive proofs to exact real arithmetic: theory and
  applications
Model Comparison Games for Horn Description Logics
Implications of Feebly Interacting Dark Sector on Neutron Star
  Properties and Constraints from GW170817 The topological origin of anomalous transport: Persistence of {\beta} in
  the face of varying correlation length Conditional recovery of time-reversal symmetry in many nucleus systems The Adjoint Method Applied to Time-Distance Helioseismology Rapid covariance-based sampling of linear SPDE approximations in the
  multilevel Monte Carlo method Fundamental Physical Constants: Looking from Different Angles Noisy intermediate-scale quantum (NISQ) algorithms Graph Partitioning with Acyclicity Constraints The eta invariant on two-step nilmanifolds Catching the Phish: Detecting Phishing Attacks using Recurrent Neural
  Networks (RNNs) Lucjan Emil B\"ottcher (1872-1937)-- the Polish pioneer of holomorphic
  dynamics Graph Grammars, Insertion Lie Algebras, and Quantum Field Theory Dengue disease, basic reproduction number and control A General Theory of Goodness of Fit in Likelihood Fits Linear damping and depletion in flowing plasma with strong sheared
  magnetic fields Probing the diamagnetic term in light-matter interaction The surreal numbers as a universal H-field
cs.LO