Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

On Learning Polynomial Recursive Programs

ACM SIGPLAN via YouTube

Overview

Explore a groundbreaking 19-minute video presentation from the POPL 2024 conference introducing P-finite automata, a novel class of weighted automata with polynomial transition weights. Delve into the concept of these automata as simple tail-recursive programs and their relation to P-finite sequences. Discover the main research finding demonstrating that P-finite automata can be learned in polynomial time using Angluin's MAT exact learning model, extending classical results for deterministic finite automata and weighted automata. Gain insights into weighted automata, exact learning, holonomic sequences, and automata learning from experts Alex Buna-Marginean, Vincent Cheval, Mahsa Shirmohammadi, and James Worrell from the University of Oxford and CNRS - IRIF - Université Paris Cité.

Syllabus

[POPL'24] On Learning Polynomial Recursive Programs

Taught by

ACM SIGPLAN

Reviews

Start your review of On Learning Polynomial Recursive Programs

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.