Constructive Provability Logic
Strategy Independent Reduction Lengths in Rewriting and Binary
  Arithmetic
On a uniformly distributed phenomenon in matrix groups A Minkowski Type Trace Inequality and Strong Subadditivity of Quantum
  Entropy A universal asymptotic regime in the hyperbolic nonlinear Schr\"odinger
  equation Ensemble averageability in network spectra Right buffer sizing matters: some dynamical and statistical studies on
  Compound TCP Towards Communication in a Curved Spacetime Geometry Tomographic and entropic analysis of modulated signals Equivariant principal infinity-bundles Modeling Stated Preference for Mobility-on-Demand Transit: A Comparison
  of Machine Learning and Logit Models Parameterized complexity results for 1-safe Petri nets A Quantum-mechanical Approach for Constrained Macromolecular Chains Optimality Bounds for a Variational Relaxation of the Image Partitioning
  Problem The mathematical law of evolutionary information dynamics and an
  observer's evolution regularities FQHE on curved backgrounds, free fields and large N From operator statistics to wormholes Celeste: Variational inference for a generative model of astronomical
  images Optimizing Pipelined Computation and Communication for
  Latency-Constrained Edge Learning Numerical solutions to linear transfer problems of polarized radiation
  I. Algebraic formulation and stationary iterative methods Post Newtonian SPH Localization of Quantum States and Landscape Functions A Reinforcement Learning Approach to Jointly Adapt Vehicular
  Communications and Planning for Optimized Driving
cs.LO cs.PL