| 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 |
| 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 |
| Gender Bias of LLM in Economics: An Existentialism Perspective | Oct 14, 2024 | Decision MakingFairness | —Unverified | 0 |
| Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean 4 | Sep 9, 2024 | Abstract AlgebraAutomated Theorem Proving | CodeCode Available | 0 |
