| 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 |
| Approximation Guarantees for the Non-Dominated Sorting Genetic Algorithm II (NSGA-II) | Mar 5, 2022 | Mathematical Proofs | —Unverified | 0 | 0 |
| Beyond Chemical QA: Evaluating LLM's Chemical Reasoning with Modular Chemical Operations | May 27, 2025 | Chemical Reaction PredictionDrug Design | —Unverified | 0 | 0 |
| Bio-plausible Unsupervised Delay Learning for Extracting Temporal Features in Spiking Neural Networks | Nov 18, 2020 | Mathematical Proofs | —Unverified | 0 | 0 |
| Black-Scholes-Merton Option Pricing Revisited: Did we Find a Fatal Flaw? | Jan 9, 2022 | Mathematical Proofs | —Unverified | 0 | 0 |
| Boundary Effects in Biological Planar Networks: Pentagons Dominate Marginal Cells | Mar 24, 2025 | Mathematical Proofs | —Unverified | 0 | 0 |
| Characterizing the Conditions for Indefinite Growth in Open Chemical Reaction Networks | Oct 12, 2023 | Mathematical Proofs | —Unverified | 0 | 0 |
