| 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 |
| Evolutionary Algorithms Are Significantly More Robust to Noise When They Ignore It | Aug 31, 2024 | Evolutionary AlgorithmsMathematical Proofs | —Unverified | 0 |
| Simple but Effective Compound Geometric Operations for Temporal Knowledge Graph Completion | Aug 13, 2024 | Graph EmbeddingKnowledge Graph Completion | CodeCode Available | 1 |
| Examining the impact of forcing function inputs on structural identifiability | Jul 3, 2024 | Mathematical Proofs | —Unverified | 0 |
| SciEx: Benchmarking Large Language Models on Scientific Exams with Human Expert Grading and Automatic Grading | Jun 14, 2024 | BenchmarkingMathematical Proofs | CodeCode Available | 0 |
| Autograding Mathematical Induction Proofs with Natural Language Processing | Jun 11, 2024 | Mathematical InductionMathematical Proofs | —Unverified | 0 |
| How Deduction Systems Can Help You To Verify Stability Properties | Apr 16, 2024 | Mathematical Proofs | —Unverified | 0 |
| A Semantic Search Engine for Mathlib4 | Mar 20, 2024 | Mathematical Proofs | —Unverified | 0 |
| Class Information Guided Reconstruction for Automatic Modulation Open-Set Recognition | Dec 20, 2023 | Automatic Modulation RecognitionDenoising | —Unverified | 0 |
| Automated Planning Techniques for Elementary Proofs in Abstract Algebra | Dec 11, 2023 | Abstract AlgebraAutomated Theorem Proving | —Unverified | 0 |
| FastPart: Over-Parameterized Stochastic Gradient Descent for Sparse optimisation on Measures | Dec 10, 2023 | Mathematical Proofs | —Unverified | 0 |
| Large Language Models' Understanding of Math: Source Criticism and Extrapolation | Nov 12, 2023 | Automated Theorem ProvingMath | —Unverified | 0 |
| Characterizing the Conditions for Indefinite Growth in Open Chemical Reaction Networks | Oct 12, 2023 | Mathematical Proofs | —Unverified | 0 |
| A New Approach Towards Autoformalization | Oct 12, 2023 | Entity LinkingMathematical Proofs | CodeCode Available | 0 |
| Total-effect Test May Erroneously Reject So-called "Full" or "Complete" Mediation | Sep 16, 2023 | Mathematical Proofs | —Unverified | 0 |
| Anomaly zones for uniformly sampled gene trees under the gene duplication and loss model | Sep 4, 2023 | Mathematical Proofs | —Unverified | 0 |
| An Efficient Data Analysis Method for Big Data using Multiple-Model Linear Regression | Aug 24, 2023 | Mathematical Proofsregression | —Unverified | 0 |
| Algorithm-assisted discovery of an intrinsic order among mathematical constants | Aug 22, 2023 | Continued fractionMathematical Proofs | —Unverified | 0 |
| CodeCoT: Tackling Code Syntax Errors in CoT Reasoning for Code Generation | Aug 17, 2023 | Code GenerationFew-Shot Learning | —Unverified | 0 |
| SmartDCA superiority | Aug 9, 2023 | Mathematical Proofs | —Unverified | 0 |
| TransERR: Translation-based Knowledge Graph Embedding via Efficient Relation Rotation | Jun 26, 2023 | Graph EmbeddingKnowledge Graph Completion | CodeCode Available | 1 |
