| 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 |
