| Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean 4 | Sep 9, 2024 | Abstract AlgebraAutomated Theorem Proving | CodeCode Available | 0 |
| Learning Rules Explaining Interactive Theorem Proving Tactic Prediction | Nov 2, 2024 | Automated Theorem ProvingInductive logic programming | CodeCode Available | 0 |
| Distance-Adaptive Quaternion Knowledge Graph Embedding with Bidirectional Rotation | Dec 5, 2024 | Graph EmbeddingKnowledge Graph Completion | CodeCode Available | 0 |
| Formal Development of Safe Automated Driving using Differential Dynamic Logic | Apr 14, 2022 | Mathematical Proofs | CodeCode Available | 0 |
| Learning to Prove Theorems via Interacting with Proof Assistants | May 21, 2019 | Automated Theorem ProvingMathematical Proofs | CodeCode Available | 0 |
| α-Rank: Multi-Agent Evaluation by Evolution | Mar 4, 2019 | Mathematical ProofsMuJoCo | CodeCode Available | 0 |
| StepProof: Step-by-step verification of natural language mathematical proofs | Jun 12, 2025 | Mathematical ProofsSentence | CodeCode Available | 0 |
| GENTLE: A Genre-Diverse Multilayer Challenge Set for English NLP and Linguistic Evaluation | Jun 3, 2023 | coreference-resolutionCoreference Resolution | CodeCode Available | 0 |
| Hierarchical Attention Generates Better Proofs | Apr 27, 2025 | Automated Theorem ProvingMathematical Proofs | CodeCode Available | 0 |
| Calibration of P-values for calibration and for deviation of a subpopulation from the full population | Jan 31, 2022 | Mathematical Proofs | CodeCode Available | 0 |
| A Unified Parallel Algorithm for Regularized Group PLS Scalable to Big Data | Feb 23, 2017 | Mathematical Proofs | CodeCode Available | 0 |
| A Theoretical Analysis of Compositional Generalization in Neural Networks: A Necessary and Sufficient Condition | May 5, 2025 | Mathematical Proofs | CodeCode Available | 0 |
| SciEx: Benchmarking Large Language Models on Scientific Exams with Human Expert Grading and Automatic Grading | Jun 14, 2024 | BenchmarkingMathematical Proofs | CodeCode Available | 0 |
| Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs | Jan 5, 2023 | Mathematical ProofsSemantic Parsing | CodeCode Available | 0 |
| Premise Selection for Mathematics by Corpus Analysis and Kernel Methods | Aug 17, 2011 | Mathematical Proofs | CodeCode Available | 0 |
