| 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 |
| On the uncertainty analysis of the data-enabled physics-informed neural network for solving neutron diffusion eigenvalue problem | Mar 15, 2023 | Mathematical Proofs | —Unverified | 0 |
| Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs | Jan 5, 2023 | Mathematical ProofsSemantic Parsing | CodeCode Available | 0 |
| Fast Quasi-Optimal Power Flow of Flexible DC Traction Power Systems | Nov 5, 2022 | Computational EfficiencyMathematical Proofs | —Unverified | 0 |
| Towards Provably Secure Encrypted Control Using Homomorphic Encryption | Oct 17, 2022 | Mathematical Proofs | —Unverified | 0 |
| SNLP at TextGraphs 2022 Shared Task: Unsupervised Natural Language Premise Selection in Mathematical Texts Using Sentence-MPNet | Oct 1, 2022 | Mathematical ProofsSemantic Similarity | —Unverified | 0 |
| On the uncertainty principle of neural networks | May 3, 2022 | Mathematical Proofs | —Unverified | 0 |
| Formal Development of Safe Automated Driving using Differential Dynamic Logic | Apr 14, 2022 | Mathematical Proofs | CodeCode Available | 0 |
| Efficient Feedback and Partial Credit Grading for Proof Blocks Problems | Apr 8, 2022 | ManagementMathematical Proofs | —Unverified | 0 |
| Approximation Guarantees for the Non-Dominated Sorting Genetic Algorithm II (NSGA-II) | Mar 5, 2022 | Mathematical Proofs | —Unverified | 0 |
| Calibration of P-values for calibration and for deviation of a subpopulation from the full population | Jan 31, 2022 | Mathematical Proofs | CodeCode Available | 0 |
| Black-Scholes-Merton Option Pricing Revisited: Did we Find a Fatal Flaw? | Jan 9, 2022 | Mathematical Proofs | —Unverified | 0 |
| The f-Divergence Reinforcement Learning Framework | Sep 24, 2021 | Decision MakingDeep Reinforcement Learning | —Unverified | 0 |
| Wasserstein GANs with Gradient Penalty Compute Congested Transport | Sep 1, 2021 | Mathematical Proofs | —Unverified | 0 |
| Understanding and Generalizing Monotonic Proximity Graphs for Approximate Nearest Neighbor Search | Jul 27, 2021 | Mathematical Proofs | —Unverified | 0 |
| A Computational Model of Infant Learning and Reasoning with Probabilities | Jun 30, 2021 | Mathematical Proofs | —Unverified | 0 |
