| 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 |
