| A New Approach Towards Autoformalization | Oct 12, 2023 | Entity LinkingMathematical Proofs | CodeCode Available | 0 |
| Characterizing the Conditions for Indefinite Growth in Open Chemical Reaction Networks | Oct 12, 2023 | Mathematical Proofs | —Unverified | 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 |
| Computation with Sequences in a Model of the Brain | Jun 6, 2023 | Mathematical ProofsMemorization | —Unverified | 0 |
| GENTLE: A Genre-Diverse Multilayer Challenge Set for English NLP and Linguistic Evaluation | Jun 3, 2023 | coreference-resolutionCoreference Resolution | CodeCode Available | 0 |
