| Computation with Sequences in a Model of the Brain | Jun 6, 2023 | Mathematical ProofsMemorization | —Unverified | 0 |
| GENTLE: A Genre-Diverse Multilayer Challenge Set for English NLP and Linguistic Evaluation | Jun 3, 2023 | coreference-resolutionCoreference Resolution | CodeCode Available | 0 |
| A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification | May 24, 2023 | C++ codeMathematical Proofs | CodeCode Available | 2 |
| Sharpness-Aware Minimization Alone can Improve Adversarial Robustness | May 9, 2023 | Adversarial RobustnessMathematical Proofs | CodeCode Available | 1 |
| On the uncertainty analysis of the data-enabled physics-informed neural network for solving neutron diffusion eigenvalue problem | Mar 15, 2023 | Mathematical Proofs | —Unverified | 0 |
| Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs | Jan 5, 2023 | Mathematical ProofsSemantic Parsing | CodeCode Available | 0 |
| Fast Quasi-Optimal Power Flow of Flexible DC Traction Power Systems | Nov 5, 2022 | Computational EfficiencyMathematical Proofs | —Unverified | 0 |
| Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs | Oct 21, 2022 | Automated Theorem ProvingLanguage Modeling | CodeCode Available | 1 |
| Towards Provably Secure Encrypted Control Using Homomorphic Encryption | Oct 17, 2022 | Mathematical Proofs | —Unverified | 0 |
| SNLP at TextGraphs 2022 Shared Task: Unsupervised Natural Language Premise Selection in Mathematical Texts Using Sentence-MPNet | Oct 1, 2022 | Mathematical ProofsSemantic Similarity | —Unverified | 0 |
| On the uncertainty principle of neural networks | May 3, 2022 | Mathematical Proofs | —Unverified | 0 |
| Formal Development of Safe Automated Driving using Differential Dynamic Logic | Apr 14, 2022 | Mathematical Proofs | CodeCode Available | 0 |
| Efficient Feedback and Partial Credit Grading for Proof Blocks Problems | Apr 8, 2022 | ManagementMathematical Proofs | —Unverified | 0 |
| Approximation Guarantees for the Non-Dominated Sorting Genetic Algorithm II (NSGA-II) | Mar 5, 2022 | Mathematical Proofs | —Unverified | 0 |
| Calibration of P-values for calibration and for deviation of a subpopulation from the full population | Jan 31, 2022 | Mathematical Proofs | CodeCode Available | 0 |
| Black-Scholes-Merton Option Pricing Revisited: Did we Find a Fatal Flaw? | Jan 9, 2022 | Mathematical Proofs | —Unverified | 0 |
| The f-Divergence Reinforcement Learning Framework | Sep 24, 2021 | Decision MakingDeep Reinforcement Learning | —Unverified | 0 |
| Wasserstein GANs with Gradient Penalty Compute Congested Transport | Sep 1, 2021 | Mathematical Proofs | —Unverified | 0 |
| Understanding and Generalizing Monotonic Proximity Graphs for Approximate Nearest Neighbor Search | Jul 27, 2021 | Mathematical Proofs | —Unverified | 0 |
| A Computational Model of Infant Learning and Reasoning with Probabilities | Jun 30, 2021 | Mathematical Proofs | —Unverified | 0 |
| A Swarm Variant for the Schrödinger Solver | Apr 10, 2021 | Mathematical Proofs | —Unverified | 0 |
| Theory-guided hard constraint projection (HCP): a knowledge-based data-driven scientific machine learning method | Dec 11, 2020 | BIG-bench Machine LearningMathematical Proofs | CodeCode Available | 1 |
| Bio-plausible Unsupervised Delay Learning for Extracting Temporal Features in Spiking Neural Networks | Nov 18, 2020 | Mathematical Proofs | —Unverified | 0 |
| AGI Agent Safety by Iteratively Improving the Utility Function | Jul 10, 2020 | Mathematical Proofs | —Unverified | 0 |
| IsarStep: a Benchmark for High-level Mathematical Reasoning | Jun 13, 2020 | Mathematical ProofsMathematical Reasoning | CodeCode Available | 1 |
