| ODGS: 3D Scene Reconstruction from Omnidirectional Images with 3D Gaussian Splattings | Oct 28, 2024 | 3D Reconstruction3D Scene Reconstruction | CodeCode Available | 2 | 5 |
| A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification | May 24, 2023 | C++ codeMathematical Proofs | CodeCode Available | 2 | 5 |
| BreastScreening: On the Use of Multi-Modality in Medical Imaging Diagnosis | Apr 7, 2020 | 3D Medical Imaging SegmentationAutomatic Machine Learning Model Selection | CodeCode Available | 1 | 5 |
| AdaSwarm: Augmenting Gradient-Based optimizers in Deep Learning with Swarm Intelligence | May 19, 2020 | Mathematical Proofs | CodeCode Available | 1 | 5 |
| Theory-guided hard constraint projection (HCP): a knowledge-based data-driven scientific machine learning method | Dec 11, 2020 | BIG-bench Machine LearningMathematical Proofs | CodeCode Available | 1 | 5 |
| Sharpness-Aware Minimization Alone can Improve Adversarial Robustness | May 9, 2023 | Adversarial RobustnessMathematical Proofs | CodeCode Available | 1 | 5 |
| IsarStep: a Benchmark for High-level Mathematical Reasoning | Jun 13, 2020 | Mathematical ProofsMathematical Reasoning | CodeCode Available | 1 | 5 |
| Simple but Effective Compound Geometric Operations for Temporal Knowledge Graph Completion | Aug 13, 2024 | Graph EmbeddingKnowledge Graph Completion | CodeCode Available | 1 | 5 |
| FormalAlign: Automated Alignment Evaluation for Autoformalization | Oct 14, 2024 | Mathematical Proofsvalid | CodeCode Available | 1 | 5 |
| Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs | Oct 21, 2022 | Automated Theorem ProvingLanguage Modeling | CodeCode Available | 1 | 5 |
| TransERR: Translation-based Knowledge Graph Embedding via Efficient Relation Rotation | Jun 26, 2023 | Graph EmbeddingKnowledge Graph Completion | CodeCode Available | 1 | 5 |
| Differential Machine Learning | May 5, 2020 | BIG-bench Machine LearningManagement | CodeCode Available | 1 | 5 |
| Premise Selection for Mathematics by Corpus Analysis and Kernel Methods | Aug 17, 2011 | Mathematical Proofs | CodeCode Available | 0 | 5 |
| StepProof: Step-by-step verification of natural language mathematical proofs | Jun 12, 2025 | Mathematical ProofsSentence | CodeCode Available | 0 | 5 |
| Learning Rules Explaining Interactive Theorem Proving Tactic Prediction | Nov 2, 2024 | Automated Theorem ProvingInductive logic programming | CodeCode Available | 0 | 5 |
| Learning to Prove Theorems via Interacting with Proof Assistants | May 21, 2019 | Automated Theorem ProvingMathematical Proofs | CodeCode Available | 0 | 5 |
| α-Rank: Multi-Agent Evaluation by Evolution | Mar 4, 2019 | Mathematical ProofsMuJoCo | CodeCode Available | 0 | 5 |
| Formal Development of Safe Automated Driving using Differential Dynamic Logic | Apr 14, 2022 | Mathematical Proofs | CodeCode Available | 0 | 5 |
| Epistemic Phase Transitions in Mathematical Proofs | Mar 31, 2020 | Mathematical ProofsPhilosophy | 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 |
| A New Approach Towards Autoformalization | Oct 12, 2023 | Entity LinkingMathematical Proofs | CodeCode Available | 0 | 5 |
| Calibration of P-values for calibration and for deviation of a subpopulation from the full population | Jan 31, 2022 | Mathematical Proofs | CodeCode Available | 0 | 5 |
| A Unified Parallel Algorithm for Regularized Group PLS Scalable to Big Data | Feb 23, 2017 | Mathematical Proofs | CodeCode Available | 0 | 5 |
| A Theoretical Analysis of Compositional Generalization in Neural Networks: A Necessary and Sufficient Condition | May 5, 2025 | Mathematical Proofs | CodeCode Available | 0 | 5 |
| Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean 4 | Sep 9, 2024 | Abstract AlgebraAutomated Theorem Proving | CodeCode Available | 0 | 5 |
