Abstract: Many modern Deep Learning (DL) systems have achieved impressive state-of-the-art results by combining individual sub-systems, including foundation models, to form increasingly more complex ...

Abstract: This correspondence contains a straightforward generalization of decoding of BCH codes to the decoding of algebraic-geometric codes, couched in terms of varieties, ideals, and Grobner bases.

The AoPA library allows one to encode Algebra of Programming (BdM97) style program derivation, both functional and relational, in Agda. Since the 90s, the program derivation community has been ...