Learning Automata with Hankel Matrices - Borja Balle, Amazon Research Cambridge
Offered By: Alan Turing Institute via YouTube
Course Description
Overview
Explore the intersection of logic and learning in this comprehensive talk on learning automata with Hankel matrices. Delve into a unified framework that encompasses various classical and recent algorithms for automata learning across different paradigms. Discover the power of Hankel matrices as a fundamental tool in weighted automata theory. Examine query learning algorithms, spectral learning techniques, and Hankel matrix completion methods. Trace the brief history of automata learning and understand key concepts such as closed and consistent finite Hankel matrices, weighted finite automata (WFA), and WFA reconstruction via singular value decomposition. Investigate the process of estimating Hankel matrices from samples and explore spectral PAC learning of stochastic WFA. Gain insights into statistical learning in non-realizable settings and generalization bounds for learning WFA. Conclude with practical applications of these techniques in real-world scenarios.
Syllabus
Intro
Brief History of Automata Learning
Talk Outline
From Hankel Matrices to DFA
Closed and consistent Finite Hankel Matrices
Learning from Membership and Equivalence Queries
Weighted Finite Automata (WFA)
Hankel Matrices and WFA
From Hankel Matrices to WFA
WFA Reconstruction via Singular Value Decomposition
Estimating Hankel Matrices from Samples
Spectral PAC Learning of Stochastic WFA
Statistical Learning in the Non-realizable Setting
Leaming WFA via Hankel Matrix Completion
Generalization Bounds for Learning WFA
Same Practical Applications
Taught by
Alan Turing Institute
Related Courses
Automata TheoryStanford University via edX 理论计算机科学基础 | Introduction to Theoretical Computer Science
Peking University via edX 离散数学概论 Discrete Mathematics Generality
Peking University via Coursera System Validation: Automata and behavioural equivalences
EIT Digital via Coursera System Validation (3): Requirements by modal formulas
EIT Digital via Coursera