Theoretical AI & Mathematical Foundations
Scope
Papers on mathematical proofs for AI algorithms, optimization theory, functional analysis, and linear-algebraic approaches (e.g. work on influence functions).
Keywords
Formal proofs, optimization, algorithmic foundations, statistical learning theory