| Neurodivergent Influenceability as a Contingent Solution to the AI Alignment Problem | May 5, 2025 | Experimental DesignMathematical Proofs | —Unverified | 0 |
| A Theoretical Analysis of Compositional Generalization in Neural Networks: A Necessary and Sufficient Condition | May 5, 2025 | Mathematical Proofs | CodeCode Available | 0 |
| Hierarchical Attention Generates Better Proofs | Apr 27, 2025 | Automated Theorem ProvingMathematical Proofs | CodeCode Available | 0 |
| Statistical Guarantees in Synthetic Data through Conformal Adversarial Generation | Apr 23, 2025 | Conformal PredictionMathematical Proofs | —Unverified | 0 |
| Mathematical Approach in Hybrid Beamforming for ISAC Systems | Apr 7, 2025 | Integrated sensing and communicationISAC | —Unverified | 0 |
| Boundary Effects in Biological Planar Networks: Pentagons Dominate Marginal Cells | Mar 24, 2025 | Mathematical Proofs | —Unverified | 0 |
| Fence Theorem: Preprocessing is Dual-Objective Semantic Structure Isolator in 3D Anomaly Detection | Mar 3, 2025 | 3D Anomaly DetectionAnomaly Detection | —Unverified | 0 |
| Theorem Prover as a Judge for Synthetic Data Generation | Feb 18, 2025 | Mathematical ProofsMathematical Reasoning | —Unverified | 0 |
| Efficient Long-Decoding Inference with Reasoning-Aware Attention Sparsity | Feb 16, 2025 | Mathematical Proofs | —Unverified | 0 |
| Generating Millions Of Lean Theorems With Proofs By Exploring State Transition Graphs | Feb 16, 2025 | Automated Theorem ProvingMathematical Proofs | —Unverified | 0 |
