Gödel's Poetry is an advanced automated theorem proving system that combines Large Language Models (LLMs) with formal verification in Lean 4. The system takes mathematical theorems—either in informal ...

Abstract: Utilizing the unbiasedness criterion, this article proposes a bias-compensated normalized Euclidean direction search (BC-NEDS) algorithm with noisy inputs, which can effectively mitigate the ...

Abstract: Gene expression data usually present the characteristics of high dimension and small sample size. In such data, it is crucial to conduct feature selection to reduce dimensions and retain key ...