Covering symmetric subsets of the hypercube with hyperplanes
1:05:50
Interactive proofs for primality testing of special classes of ideals
1:05:15
Graph Connectivity, Partitioning, and Fair Allocation: A Parameterized Persp
1:18:16
Chatbot using Python, NLP, and Data Science | Build Your Own Chatbot | Intellipaat
1:06:50
Markov Decision Processes as Distribution Transformers: Certified Policy Verification and Synthesis
56:56
Some Non-Recent Advances in Understanding the Complexity of Incentive Compatible Mechanisms
58:36
Flexible list colorings
1:02:05
Low Degree Testing over the Reals
1:10:40