| Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks | Feb 10, 2023 | valid | —Unverified | 0 |
| Minimax Instrumental Variable Regression and L_2 Convergence Guarantees without Identification or Closedness | Feb 10, 2023 | regressionvalid | —Unverified | 0 |
| Combining self-labeling and demand based active learning for non-stationary data streams | Feb 8, 2023 | Active Learningvalid | —Unverified | 0 |
| Geometry-Complete Diffusion for 3D Molecule Generation and Optimization | Feb 8, 2023 | 3D Molecule GenerationDenoising | CodeCode Available | 2 |
| A unified recipe for deriving (time-uniform) PAC-Bayes bounds | Feb 7, 2023 | Generalization Boundsvalid | —Unverified | 0 |
| NPV, IRR, PI, PP, and DPP: a unified view | Feb 6, 2023 | valid | —Unverified | 0 |
| Extensions for Inference in Difference-in-Differences with Few Treated Clusters | Feb 6, 2023 | valid | —Unverified | 0 |
| NeuRI: Diversifying DNN Generation via Inductive Rule Inference | Feb 4, 2023 | Decision MakingProgram Synthesis | CodeCode Available | 1 |
| Example-Based Explainable AI and its Application for Remote Sensing Image Classification | Feb 3, 2023 | Explainable artificial intelligenceExplainable Artificial Intelligence (XAI) | —Unverified | 0 |
| Scalable Attributed-Graph Subspace Clustering | Feb 1, 2023 | ClusteringNode Clustering | CodeCode Available | 1 |
