Improved Inference for Checking Annotations
TWAM: A Certifying Abstract Machine for Logic Programs
Developing Robust Digital Twins and Reinforcement Learning for
  Accelerator Control Systems at the Fermilab Booster Analytical formula for numerical evaluations of the Wigner rotation
  matrices at high spins Foundations of topological racks and quandles Bootstrapping Closed Hyperbolic Surfaces Point and contact equivalence groupoids of two-dimensional quasilinear
  hyperbolic equations Kinematic Mappings for Cayley-Klein Geometries via Clifford Algebras Realization and modeling of rf superconducting quantum interference
  device metamaterials Triangle groups, automorphic forms, and torus knots Reappraisal of the limit on the variation in $\alpha$ implied by Oklo Comment on "Negative specific heat for a cluster of 147 Sodium atoms" by
  Schmidt et al Social Learning in Non-Stationary Environments No information or horizon paradoxes for Th. Smiths Fluctuation effects in metapopulation models: percolation and pandemic
  threshold Knotting and higher order linking in physical systems Interaction-aware Factorization Machines for Recommender Systems A mixture theory-based finite element formulation for the study of
  biodegradation of poroelastic scaffolds The energy distance for ensemble and scenario reduction Snowmass'21 Whitepaper -- IsoDAR Overview Applications of molecular communications to medicine: a survey A Distributed Differentially Private Algorithm for Resource Allocation
  in Unboundedly Large Settings Mobile Artificial Intelligence Technology for Detecting Macula Edema and
  Subretinal Fluid on OCT Scans: Initial Results from the DATUM alpha Study
cs.PL cs.LO