| Automating Mathematical Proof Generation Using Large Language Model Agents and Knowledge Graphs | Feb 4, 2025 | Formal LogicKnowledge Graphs | —Unverified | 0 |
| Fence Theorem: Preprocessing is Dual-Objective Semantic Structure Isolator in 3D Anomaly Detection | Mar 3, 2025 | 3D Anomaly DetectionAnomaly Detection | —Unverified | 0 |
| Automated Planning Techniques for Elementary Proofs in Abstract Algebra | Dec 11, 2023 | Abstract AlgebraAutomated Theorem Proving | —Unverified | 0 |
| Autograding Mathematical Induction Proofs with Natural Language Processing | Jun 11, 2024 | Mathematical InductionMathematical Proofs | —Unverified | 0 |
| Algorithm-assisted discovery of an intrinsic order among mathematical constants | Aug 22, 2023 | Continued fractionMathematical Proofs | —Unverified | 0 |
| FastPart: Over-Parameterized Stochastic Gradient Descent for Sparse optimisation on Measures | Dec 10, 2023 | Mathematical Proofs | —Unverified | 0 |
| Efficient Long-Decoding Inference with Reasoning-Aware Attention Sparsity | Feb 16, 2025 | Mathematical Proofs | —Unverified | 0 |
| Efficient Feedback and Partial Credit Grading for Proof Blocks Problems | Apr 8, 2022 | ManagementMathematical Proofs | —Unverified | 0 |
| Differentiable Convex Optimization Layers in Neural Architectures: Foundations and Perspectives | Dec 30, 2024 | Mathematical Proofs | —Unverified | 0 |
| The Alignment Trap: Complexity Barriers | Jun 12, 2025 | Mathematical Proofs | —Unverified | 0 |
