diff-SAT -- A Software for Sampling and Probabilistic Reasoning for SAT
  and Answer Set Programming
Solving the Wastewater Treatment Plant Problem with SMT
Proving Differential Privacy via Probabilistic Couplings Isomorphism problems for tensors, groups, and cubic forms: completeness
  and reductions The Mysterious Bursts observed by Telescope Array and Axion Quark
  Nuggets The renormalisation group and nuclear forces Molding the flow of light on the nanoscale: from vortex nanogears to
  phase-operated plasmonic machinery Theory of Quantum Electrodynamical Self-consistent Fields High-Availability Clusters: A Taxonomy, Survey, and Future Directions Complex Network Approach to the Statistical Features of the Sunspot
  Series Belief Propagation and Beyond for Particle Tracking On the torsion-freeness property for divisible discrete quantum
  subgroups Decontextualized learning for interpretable hierarchical representations
  of visual patterns Perspectives on constraining a cosmological constant-type parameter with
  pulsar timing in the Galactic Center On Utility and Privacy in Synthetic Genomic Data On the distribution of the eigenvalues of the area operator in loop
  quantum gravity Hochschild Cohomology, Modular Tensor Categories, and Mapping Class
  Groups Plasma planar filament instability and Alfven waves Geometry of differential operators, and odd Laplace operators
cs.AI cs.LO