| 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 |
| Solving constraint-satisfaction problems with distributed neocortical-like neuronal networks | Jan 14, 2018 | Decision MakingMathematical Proofs | —Unverified | 0 |
| Statistical Guarantees in Synthetic Data through Conformal Adversarial Generation | Apr 23, 2025 | Conformal PredictionMathematical Proofs | —Unverified | 0 |
| Theorem Prover as a Judge for Synthetic Data Generation | Feb 18, 2025 | Mathematical ProofsMathematical Reasoning | —Unverified | 0 |
| Total-effect Test May Erroneously Reject So-called "Full" or "Complete" Mediation | Sep 16, 2023 | Mathematical Proofs | —Unverified | 0 |
| Towards Provably Secure Encrypted Control Using Homomorphic Encryption | Oct 17, 2022 | Mathematical Proofs | —Unverified | 0 |
| Understanding and Generalizing Monotonic Proximity Graphs for Approximate Nearest Neighbor Search | Jul 27, 2021 | Mathematical Proofs | —Unverified | 0 |
| LeanTutor: A Formally-Verified AI Tutor for Mathematical Proofs | Jun 10, 2025 | Large Language ModelMath | —Unverified | 0 |
| FastPart: Over-Parameterized Stochastic Gradient Descent for Sparse optimisation on Measures | Dec 10, 2023 | Mathematical Proofs | —Unverified | 0 |
| Fast Quasi-Optimal Power Flow of Flexible DC Traction Power Systems | Nov 5, 2022 | Computational EfficiencyMathematical Proofs | —Unverified | 0 |
