| Reconfiguring Hybrid Systems Using SAT | May 18, 2021 | valid | —Unverified | 0 |
| Resting state alpha oscillatory activity is a valid and reliable marker of schizotypy | May 17, 2021 | EEGFunctional Connectivity | CodeCode Available | 0 |
| Importance Weighted Adversarial Discriminative Transfer for Anomaly Detection | May 14, 2021 | Anomaly Detectionvalid | CodeCode Available | 0 |
| Simplified Kripke semantics for K45-like Godel modal logics and its axiomatic extensions | May 13, 2021 | valid | —Unverified | 0 |
| Winograd Algorithm for AdderNet | May 12, 2021 | valid | —Unverified | 0 |
| More Powerful Conditional Selective Inference for Generalized Lasso by Parametric Programming | May 11, 2021 | Model Selectionvalid | —Unverified | 0 |
| Retro Drug Design: From Target Properties to Molecular Structures | May 11, 2021 | Drug DesignDrug Discovery | —Unverified | 0 |
| Least squares Monte Carlo methods in stochastic Volterra rough volatility models | May 10, 2021 | valid | —Unverified | 0 |
| The Local Approach to Causal Inference under Network Interference | May 9, 2021 | Causal Inferencevalid | —Unverified | 0 |
| Do Natural Language Explanations Represent Valid Logical Arguments? Verifying Entailment in Explainable NLI Gold Standards | May 5, 2021 | Explanation Generationvalid | —Unverified | 0 |
