| Simple Proofs of the Summation and Connectivity Theorems in Metabolic Control Analysis | Jan 21, 2025 | Mathematical Proofs | —Unverified | 0 |
| Differentiable Convex Optimization Layers in Neural Architectures: Foundations and Perspectives | Dec 30, 2024 | Mathematical Proofs | —Unverified | 0 |
| Formal Language Knowledge Corpus for Retrieval Augmented Generation | Dec 21, 2024 | Logical ReasoningMathematical Proofs | —Unverified | 0 |
| Distance-Adaptive Quaternion Knowledge Graph Embedding with Bidirectional Rotation | Dec 5, 2024 | Graph EmbeddingKnowledge Graph Completion | CodeCode Available | 0 |
| How Analysis Can Teach Us the Optimal Way to Design Neural Operators | Nov 4, 2024 | Computational EfficiencyMathematical Proofs | —Unverified | 0 |
| Learning Rules Explaining Interactive Theorem Proving Tactic Prediction | Nov 2, 2024 | Automated Theorem ProvingInductive logic programming | CodeCode Available | 0 |
| ODGS: 3D Scene Reconstruction from Omnidirectional Images with 3D Gaussian Splattings | Oct 28, 2024 | 3D Reconstruction3D Scene Reconstruction | CodeCode Available | 2 |
| Gender Bias of LLM in Economics: An Existentialism Perspective | Oct 14, 2024 | Decision MakingFairness | —Unverified | 0 |
| FormalAlign: Automated Alignment Evaluation for Autoformalization | Oct 14, 2024 | Mathematical Proofsvalid | CodeCode Available | 1 |
| Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean 4 | Sep 9, 2024 | Abstract AlgebraAutomated Theorem Proving | CodeCode Available | 0 |
