| SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics | Jul 9, 2019 | Mathematical ProofsMathematical Reasoning | —Unverified | 0 | 0 |
| Secure multiparty computations in floating-point arithmetic | Jan 9, 2020 | AllMathematical Proofs | —Unverified | 0 | 0 |
| Simple Proofs of the Summation and Connectivity Theorems in Metabolic Control Analysis | Jan 21, 2025 | Mathematical Proofs | —Unverified | 0 | 0 |
| SmartDCA superiority | Aug 9, 2023 | Mathematical Proofs | —Unverified | 0 | 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 | 0 |
| Solving constraint-satisfaction problems with distributed neocortical-like neuronal networks | Jan 14, 2018 | Decision MakingMathematical Proofs | —Unverified | 0 | 0 |
| Statistical Guarantees in Synthetic Data through Conformal Adversarial Generation | Apr 23, 2025 | Conformal PredictionMathematical Proofs | —Unverified | 0 | 0 |
| Theorem Prover as a Judge for Synthetic Data Generation | Feb 18, 2025 | Mathematical ProofsMathematical Reasoning | —Unverified | 0 | 0 |
| Total-effect Test May Erroneously Reject So-called "Full" or "Complete" Mediation | Sep 16, 2023 | Mathematical Proofs | —Unverified | 0 | 0 |
| Towards Provably Secure Encrypted Control Using Homomorphic Encryption | Oct 17, 2022 | Mathematical Proofs | —Unverified | 0 | 0 |
