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