| CodeCoT: Tackling Code Syntax Errors in CoT Reasoning for Code Generation | Aug 17, 2023 | Code GenerationFew-Shot Learning | —Unverified | 0 | 0 |
| A Swarm Variant for the Schrödinger Solver | Apr 10, 2021 | Mathematical Proofs | —Unverified | 0 | 0 |
| Class Information Guided Reconstruction for Automatic Modulation Open-Set Recognition | Dec 20, 2023 | Automatic Modulation RecognitionDenoising | —Unverified | 0 | 0 |
| Characterizing the Conditions for Indefinite Growth in Open Chemical Reaction Networks | Oct 12, 2023 | Mathematical Proofs | —Unverified | 0 | 0 |
| A Semantic Search Engine for Mathlib4 | Mar 20, 2024 | Mathematical Proofs | —Unverified | 0 | 0 |
| AGI Agent Safety by Iteratively Improving the Utility Function | Jul 10, 2020 | Mathematical Proofs | —Unverified | 0 | 0 |
| Boundary Effects in Biological Planar Networks: Pentagons Dominate Marginal Cells | Mar 24, 2025 | Mathematical Proofs | —Unverified | 0 | 0 |
| Black-Scholes-Merton Option Pricing Revisited: Did we Find a Fatal Flaw? | Jan 9, 2022 | Mathematical Proofs | —Unverified | 0 | 0 |
| Anomaly zones for uniformly sampled gene trees under the gene duplication and loss model | Sep 4, 2023 | Mathematical Proofs | —Unverified | 0 | 0 |
| Neurodivergent Influenceability as a Contingent Solution to the AI Alignment Problem | May 5, 2025 | Experimental DesignMathematical Proofs | —Unverified | 0 | 0 |
