Undecidability of $D_{<:}$ and Its Decidable Fragments
Understanding Profunctor Optics: a representation theorem
Absolute Uniqueness of Phase Retrieval with Random Illumination Data-driven Spatiotemporal Modal Decomposition for Time Frequency
  Analysis An integer factorization algorithm which uses diffusion as a
  computational engine On two-Dimensional Holonomy Electronic Properties of Topological Materials: Optical Excitations in
  Moebius Conjugated Polymers Short-Term Load Forecasting using Bi-directional Sequential Models and
  Feature Engineering for Small Datasets The Social Maintenance of Cooperation through Hypocrisy SINR and Throughput of Dense Cellular Networks with Stretched
  Exponential Path Loss Convergence of a Human-in-the-Loop Policy-Gradient Algorithm With
  Eligibility Trace Under Reward, Policy, and Advantage Feedback Three Puzzles on Mathematics, Computation, and Games Linking Physical Objects to Their Digital Twins via Fiducial Markers
  Designed for Invisibility to Humans Unsupervised single-particle deep clustering via statistical manifold
  learning Google Scholar makes it Hard - the complexity of organizing one's
  publications Spectrally Consistent UNet for High Fidelity Image Transformations Relaxation Based Modeling of GMD Induced Cascading Failures in
  PowerModelsGMD.jl Superfluid spherical Couette flow Foundations of Inference
cs.PL