| Beyond Chemical QA: Evaluating LLM's Chemical Reasoning with Modular Chemical Operations | May 27, 2025 | Chemical Reaction PredictionDrug Design | —Unverified | 0 |
| An Efficient Data Analysis Method for Big Data using Multiple-Model Linear Regression | Aug 24, 2023 | Mathematical Proofsregression | —Unverified | 0 |
| Approximation Guarantees for the Non-Dominated Sorting Genetic Algorithm II (NSGA-II) | Mar 5, 2022 | Mathematical Proofs | —Unverified | 0 |
| Automating Mathematical Proof Generation Using Large Language Model Agents and Knowledge Graphs | Feb 4, 2025 | Formal LogicKnowledge Graphs | —Unverified | 0 |
| A Critical Overview of Privacy-Preserving Approaches for Collaborative Forecasting | Apr 20, 2020 | Mathematical ProofsPrivacy Preserving | —Unverified | 0 |
| Anomaly zones for uniformly sampled gene trees under the gene duplication and loss model | Sep 4, 2023 | Mathematical Proofs | —Unverified | 0 |
| Characterizing the Conditions for Indefinite Growth in Open Chemical Reaction Networks | Oct 12, 2023 | Mathematical Proofs | —Unverified | 0 |
| Class Information Guided Reconstruction for Automatic Modulation Open-Set Recognition | Dec 20, 2023 | Automatic Modulation RecognitionDenoising | —Unverified | 0 |
| CodeCoT: Tackling Code Syntax Errors in CoT Reasoning for Code Generation | Aug 17, 2023 | Code GenerationFew-Shot Learning | —Unverified | 0 |
| Automated Planning Techniques for Elementary Proofs in Abstract Algebra | Dec 11, 2023 | Abstract AlgebraAutomated Theorem Proving | —Unverified | 0 |
