Abstract: Federated learning is a widely used method for collaborative machine learning without sharing local data. In this approach, participants train models using their local data, and the model ...

Abstract: In this paper, we present a novel convolution theorem which encompasses the well known convolution theorem in (graph) signal processing as well as the one related to time-varying filters.

For centuries, the Pythagorean Theorem has occupied a unique position in mathematics: both elementary and profound. Its ...

We present Prover Agent, a novel AI agent for automated theorem proving that integrates large language models (LLMs) with a formal proof assistant, Lean. Prover Agent coordinates an informal reasoning ...