Effectiveness of Hindman's theorem for bounded sums
A semantical proof of the strong normalization theorem for full
  propositional classical natural deduction
Experimental perspectives for systems based on long-range interactions Master Graduation Thesis: A Lightweight and Distributed Container-based
  Framework $\widehat{Z}$ at large $N$: from curve counts to quantum modularity Towards a topological-geometrical theory of group equivariant
  non-expansive operators for data analysis and machine learning Yoga-Veganism: Correlation Mining of Twitter Health Data Predicted reentrant melting of dense hydrogen at ultra-high pressures Requisite Variety, Autopoiesis, and Self-organization IceBreaker: Solving Cold Start Problem for Video Recommendation Engines Sequential Design of Computer Experiments with Quantitative and
  Qualitative Factors in Applications to HPC Performance Optimization Tracking the History and Evolution of Entities: Entity-centric Temporal
  Analysis of Large Social Media Archives On information gain, Kullback-Leibler divergence, entropy production and
  the involution kernel Positronium-hydrogen-atom scattering in a five-state model Quantifying how much sensory information in a neural code is relevant
  for behavior ART: Abstraction Refinement-Guided Training for Provably Correct Neural
  Networks A unifying framework for mean-field theories of asymmetric kinetic Ising
  systems Compressive Fluorescence Microscopy for Biological and Hyperspectral
  Imaging A Hypergeometric Version of the Modularity of Rigid Calabi-Yau Manifolds Brightening the Optical Flow through Posit Arithmetic
math.LO