Proof-Theory and Semantics for a Theory of Definite Descriptions
Compactly generating all satisfying truth assignments of a Horn formula
Testing Closeness of Discrete Distributions Olympus: a benchmarking framework for noisy optimization and experiment
  planning The noncommutative geometry of elliptic difference equations Strengthening Relationships between Neural Ideals and Receptive Fields Qualitative graph limit theory. Cantor Dynamical Systems and
  Constant-Time Distributed Algorithms Bounds on the mass gap of the ferromagnetic XXZ chain Adversarial Risk and Robustness: General Definitions and Implications
  for the Uniform Distribution Federated Learning with Local Differential Privacy: Trade-offs between
  Privacy, Utility, and Communication A Model of Coupled-Maps for Economic Dynamics How tight is the Lieb-Oxford bound? Conformal lattice of magnetic bubble domains in garnet film On the origin of the exponential decay of the Loschmidt echo in
  integrable systems A comment on stabilizing reinforcement learning Two parameter Leak Estimation in Non invasive Ventilation Superradiant scattering of orbital angular momentum beams Applying Intelligent Reflector Surfaces for Detecting Respiratory
  Aerosol Cloud using Terahertz Signals
cs.LO math.LO