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