| 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 |
| Understanding and Generalizing Monotonic Proximity Graphs for Approximate Nearest Neighbor Search | Jul 27, 2021 | Mathematical Proofs | —Unverified | 0 | 0 |
| LeanTutor: A Formally-Verified AI Tutor for Mathematical Proofs | Jun 10, 2025 | Large Language ModelMath | —Unverified | 0 | 0 |
| Wasserstein GANs with Gradient Penalty Compute Congested Transport | Sep 1, 2021 | Mathematical Proofs | —Unverified | 0 | 0 |
| The Alignment Trap: Complexity Barriers | Jun 12, 2025 | Mathematical Proofs | —Unverified | 0 | 0 |
| A Computational Model of Infant Learning and Reasoning with Probabilities | Jun 30, 2021 | Mathematical Proofs | —Unverified | 0 | 0 |
| Neurodivergent Influenceability as a Contingent Solution to the AI Alignment Problem | May 5, 2025 | Experimental DesignMathematical Proofs | —Unverified | 0 | 0 |
| AGI Agent Safety by Iteratively Improving the Utility Function | Jul 10, 2020 | Mathematical Proofs | —Unverified | 0 | 0 |
| Algorithm-assisted discovery of an intrinsic order among mathematical constants | Aug 22, 2023 | Continued fractionMathematical Proofs | —Unverified | 0 | 0 |
| An Efficient Data Analysis Method for Big Data using Multiple-Model Linear Regression | Aug 24, 2023 | Mathematical Proofsregression | —Unverified | 0 | 0 |
| Anomaly zones for uniformly sampled gene trees under the gene duplication and loss model | Sep 4, 2023 | Mathematical Proofs | —Unverified | 0 | 0 |
| A Semantic Search Engine for Mathlib4 | Mar 20, 2024 | Mathematical Proofs | —Unverified | 0 | 0 |
| A Swarm Variant for the Schrödinger Solver | Apr 10, 2021 | Mathematical Proofs | —Unverified | 0 | 0 |
| Autograding Mathematical Induction Proofs with Natural Language Processing | Jun 11, 2024 | Mathematical InductionMathematical Proofs | —Unverified | 0 | 0 |
| Automated Planning Techniques for Elementary Proofs in Abstract Algebra | Dec 11, 2023 | Abstract AlgebraAutomated Theorem Proving | —Unverified | 0 | 0 |
| Automating Mathematical Proof Generation Using Large Language Model Agents and Knowledge Graphs | Feb 4, 2025 | Formal LogicKnowledge Graphs | —Unverified | 0 | 0 |
