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: This paper studies the control-oriented recursive identification of finite impulse response systems with binary-valued observations. Inspired by the Maximum Likelihood method, a novel ...

Abstract: The minimum error entropy (MEE) criterion closely relies on the quadratic information potential (QIP) estimates of Renyi’s entropy. Nevertheless, the ...