On correctness and completeness of an n queens program
Abstract Family-based Model Checking using Modal Featured Transition
  Systems: Preservation of CTL* (Extended Version)
Energy and entropy of relativistic diffusing particles The GALAH survey: Characterization of emission-line stars with spectral
  modelling using autoencoders Bounds and Constructions of Codes with Multiple Localities The Paulsen Problem Made Simple Numerical Investigation of a Bifurcation Problem with free Boundaries
  Arising from the Physics of Josephson Junctions Construction of $\mu$-Limit Sets Entropic Inequalities and Marginal Problems A generalization of Schur functions: applications to Nevanlinna
  functions, orthogonal polynomials, random walks and unitary and open quantum
  walks Random Composition of L-S-V Maps Sampled Over Large Parameter Ranges Big Ramsey degrees of the generic partial order On the growth of the number of totally geodesic surfaces in some
  hyperbolic $3$-manifolds Homotopical Height Lightwave Power Transfer for Federated Learning-based Wireless Networks Richardson-Gaudin Algebras and the Exact Solutions of the Proton-Neutron
  Pairing Langevin Navier-Stokes simulation of protoplasmic streaming by 2D MAC
  method Reducibility and Computational Lower Bounds for Problems with Planted
  Sparse Structure Representation Learning and Pairwise Ranking for Implicit Feedback in
  Recommendation Systems Ensemble Variational Fokker-Planck Methods for Data Assimilation Blameworthiness in Multi-Agent Settings Sequential Asset Ranking within Nonstationary Time Series
cs.LO cs.PL cs.SE