| Automated Planning Techniques for Elementary Proofs in Abstract Algebra | Dec 11, 2023 | Abstract AlgebraAutomated Theorem Proving | —Unverified | 0 |
| Mathematical Approach in Hybrid Beamforming for ISAC Systems | Apr 7, 2025 | Integrated sensing and communicationISAC | —Unverified | 0 |
| 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 |
| On the uncertainty principle of neural networks | May 3, 2022 | Mathematical Proofs | —Unverified | 0 |
| Provably safe and human-like car-following behaviors: Part 2. A parsimonious multi-phase model with projected braking | May 15, 2025 | Mathematical ProofsTrajectory Planning | —Unverified | 0 |
| Prover Agent: An Agent-based Framework for Formal Mathematical Proofs | Jun 24, 2025 | AI AgentAutomated Theorem Proving | —Unverified | 0 |
| SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics | Jul 9, 2019 | Mathematical ProofsMathematical Reasoning | —Unverified | 0 |
| Secure multiparty computations in floating-point arithmetic | Jan 9, 2020 | AllMathematical Proofs | —Unverified | 0 |
| Simple Proofs of the Summation and Connectivity Theorems in Metabolic Control Analysis | Jan 21, 2025 | Mathematical Proofs | —Unverified | 0 |
| SmartDCA superiority | Aug 9, 2023 | Mathematical Proofs | —Unverified | 0 |
