| Investor's sentiment in multi-agent model of the continuous double auction | Feb 17, 2016 | Mathematical Proofs | —Unverified | 0 | 0 |
| Large Language Models' Understanding of Math: Source Criticism and Extrapolation | Nov 12, 2023 | Automated Theorem ProvingMath | —Unverified | 0 | 0 |
| Learning Functions to Study the Benefit of Multitask Learning | Jun 9, 2020 | Mathematical ProofsSymbolic Regression | —Unverified | 0 | 0 |
| LemmaHead: RAG Assisted Proof Generation Using Large Language Models | Jan 27, 2025 | Automated Theorem ProvingMathematical Proofs | —Unverified | 0 | 0 |
| Mathematical Approach in Hybrid Beamforming for ISAC Systems | Apr 7, 2025 | Integrated sensing and communicationISAC | —Unverified | 0 | 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 | 0 |
| On the uncertainty principle of neural networks | May 3, 2022 | Mathematical Proofs | —Unverified | 0 | 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 | 0 |
| Prover Agent: An Agent-based Framework for Formal Mathematical Proofs | Jun 24, 2025 | AI AgentAutomated Theorem Proving | —Unverified | 0 | 0 |
| SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics | Jul 9, 2019 | Mathematical ProofsMathematical Reasoning | —Unverified | 0 | 0 |
