Recovering Intuition from Automated Formal Proofs using Tableaux with
  Superdeduction
Complexity Jumps In Multiagent Justification Logic Under Interacting
  Justifications
The Cohomology of the Ordinals I: Basic Theory and Consistency Results Produit Beta-Gamma et r\'egularit\'e du signe Topological Nature of the Phonon Hall Effect Fast Adaptation of Activity Sensing Policies in Mobile Devices Raman stimulated neutrino pair emission On the perimeter length determination of the eight-centered oval Bank distress in the news: Describing events through deep learning Thermal quantum field theory and the Casimir interaction between
  dielectrics Storage rings as detectors for relic gravitational-wave background ? On the Relation Between Pommaret and Janet Bases Structure and thermodynamics of two dimensional Yukawa liquids Superplot: a graphical interface for plotting and analysing MultiNest
  output Three-body forces: From cold atoms to nuclei Amazing geometry of genetic space or are genetic algorithms convergent? Reappraisal of the limit on the variation in $\alpha$ implied by Oklo The Boltzmann Equation from Quantum Field Theory A new vibrational level of the H$_2^+$ molecular ion Deep Learning can Replicate Adaptive Traders in a Limit-Order-Book
  Financial Market
cs.LO