| Simple but Effective Compound Geometric Operations for Temporal Knowledge Graph Completion | Aug 13, 2024 | Graph EmbeddingKnowledge Graph Completion | CodeCode Available | 1 | 5 |
| AdaSwarm: Augmenting Gradient-Based optimizers in Deep Learning with Swarm Intelligence | May 19, 2020 | Mathematical Proofs | CodeCode Available | 1 | 5 |
| Hierarchical Attention Generates Better Proofs | Apr 27, 2025 | Automated Theorem ProvingMathematical Proofs | CodeCode Available | 0 | 5 |
| GENTLE: A Genre-Diverse Multilayer Challenge Set for English NLP and Linguistic Evaluation | Jun 3, 2023 | coreference-resolutionCoreference Resolution | CodeCode Available | 0 | 5 |
| Learning Rules Explaining Interactive Theorem Proving Tactic Prediction | Nov 2, 2024 | Automated Theorem ProvingInductive logic programming | CodeCode Available | 0 | 5 |
| StepProof: Step-by-step verification of natural language mathematical proofs | Jun 12, 2025 | Mathematical ProofsSentence | CodeCode Available | 0 | 5 |
| Formal Development of Safe Automated Driving using Differential Dynamic Logic | Apr 14, 2022 | Mathematical Proofs | CodeCode Available | 0 | 5 |
| Learning to Prove Theorems via Interacting with Proof Assistants | May 21, 2019 | Automated Theorem ProvingMathematical Proofs | CodeCode Available | 0 | 5 |
| A New Approach Towards Autoformalization | Oct 12, 2023 | Entity LinkingMathematical Proofs | CodeCode Available | 0 | 5 |
| Epistemic Phase Transitions in Mathematical Proofs | Mar 31, 2020 | Mathematical ProofsPhilosophy | CodeCode Available | 0 | 5 |
