Proof Simplification and Automated Theorem Proving
Separating Rank Logic from Polynomial Time
A Resonant Mode for Gravitational Wave Detectors based on Atom
  Interferometry Measurable versions of the Lov\'{a}sz Local Lemma and measurable graph
  colorings Probing the Existence of a Dark Matter Isothermal Core Using Gravity
  Modes Ball-grid array architecture for microfabricated ion traps Accelerated Alternating Projections for Robust Principal Component
  Analysis Evolutionary optimization of an experimental apparatus Fractional Generalization of Gradient Systems Analysis of Joint Speech-Text Embeddings for Semantic Matching A Brain-Inspired Trust Management Model to Assure Security in a Cloud
  based IoT Framework for Neuroscience Applications Quantum isomorphism is equivalent to equality of homomorphism counts
  from planar graphs Classically Emulated Digital Quantum Simulation of the Schwinger Model
  with Topological Term via Adiabatic State Preparation A Modern Gauss-Markov Theorem? Really? A study of volatile compounds in the breath of children with type 1
  diabetes Synergistic CPU-FPGA Acceleration of Sparse Linear Algebra
cs.LO math.LO