| Fence Theorem: Preprocessing is Dual-Objective Semantic Structure Isolator in 3D Anomaly Detection | Mar 3, 2025 | 3D Anomaly DetectionAnomaly Detection | —Unverified | 0 |
| Formal Language Knowledge Corpus for Retrieval Augmented Generation | Dec 21, 2024 | Logical ReasoningMathematical Proofs | —Unverified | 0 |
| Gender Bias of LLM in Economics: An Existentialism Perspective | Oct 14, 2024 | Decision MakingFairness | —Unverified | 0 |
| Generating Millions Of Lean Theorems With Proofs By Exploring State Transition Graphs | Feb 16, 2025 | Automated Theorem ProvingMathematical Proofs | —Unverified | 0 |
| How Analysis Can Teach Us the Optimal Way to Design Neural Operators | Nov 4, 2024 | Computational EfficiencyMathematical Proofs | —Unverified | 0 |
| How Deduction Systems Can Help You To Verify Stability Properties | Apr 16, 2024 | Mathematical Proofs | —Unverified | 0 |
| HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement | May 21, 2025 | Automated Theorem ProvingMathematical Proofs | —Unverified | 0 |
| Identification of Probabilities of Causation: A Complete Characterization | May 21, 2025 | Decision MakingMathematical Proofs | —Unverified | 0 |
| Interleaver Design for Deep Neural Networks | Nov 18, 2017 | Mathematical Proofs | —Unverified | 0 |
| Investor's sentiment in multi-agent model of the continuous double auction | Feb 17, 2016 | Mathematical Proofs | —Unverified | 0 |
