1:05:30

Making a Trifference

1:11:05

Fusing AI and Formal Methods for Automated Synthesis

1:06:50

Markov Decision Processes as Distribution Transformers: Certified Policy Verification and Synthesis

1:05:15

Graph Connectivity, Partitioning, and Fair Allocation: A Parameterized Persp

51:31

Brideland wall-crossing for some moduli spaces of objects on D^b(P^3), by Daniel Bernal

1:01:40

Polynomial Time Algorithms for Integer Programming and Unbounded Subset Sum in the Total Regime

1:05:50

Interactive proofs for primality testing of special classes of ideals

1:02:05

Low Degree Testing over the Reals