| 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 |
| Generating Millions Of Lean Theorems With Proofs By Exploring State Transition Graphs | Feb 16, 2025 | Automated Theorem ProvingMathematical Proofs | —Unverified | 0 |
| Efficient Long-Decoding Inference with Reasoning-Aware Attention Sparsity | Feb 16, 2025 | Mathematical Proofs | —Unverified | 0 |
| Automating Mathematical Proof Generation Using Large Language Model Agents and Knowledge Graphs | Feb 4, 2025 | Formal LogicKnowledge Graphs | —Unverified | 0 |
| LemmaHead: RAG Assisted Proof Generation Using Large Language Models | Jan 27, 2025 | Automated Theorem ProvingMathematical Proofs | —Unverified | 0 |
