Formal & Physical Sciences Computing & CybersecurityENETH False II: completing the proofRyan O'DonnellNovember 5, 2026 82 min★ ★ ★ ★ ★ 5/5Computational ComplexityETHPermanent
Formal & Physical Sciences Computing & CybersecurityENRSR: From Cryptography to Complexity to ML Safety | Shafi Goldwasser | ADIA Lab Symposium 2026Shafi GoldwasserNovember 4, 2026 44 min★ ★ ★ ★ ★ 5/5Random Self-ReducibilityAI SafetyCryptography
Formal & Physical Sciences Computing & CybersecurityENRik Sengupta: Separating Quantum Circuits from Classical LLMsRik SenguptaNovember 3, 2026 46 min★ ★ ★ ★ ☆ 4/5Quantum ComputingTransformersComplexity Theory
Formal & Physical Sciences Computing & CybersecurityENThe BRRY analysis of the INW generator is optimalYakov ShalunovOctober 31, 2026 49 min★ ★ ★ ★ ☆ 4/5DerandomizationPseudorandom GeneratorsBranching Programs
Formal & Physical Sciences Computing & CybersecurityENRevisiting the xor lemma and exponential correlation bounds for polynomialsEmanuele ViolaOctober 31, 2026 65 min★ ★ ★ ★ ★ 5/5XOR LemmaHardness AmplificationCircuit Complexity
Formal & Physical Sciences Computing & CybersecurityENHow to construct random stringsRahul SanthanamOctober 31, 2026 44 min★ ★ ★ ★ ☆ 4/5Pseudorandom GeneratorsDerandomizationComplexity Theory
Formal & Physical Sciences Computing & CybersecurityENHitting-set generators for low-degree F2-polynomials with almost optimal densityTal YankovitzOctober 31, 2026 49 min★ ★ ★ ★ ★ 5/5Hitting Set GeneratorLow-Degree PolynomialsDerandomization
Formal & Physical Sciences Computing & CybersecurityENExtractors for samplable sourcesRonen ShaltielOctober 31, 2026 69 min★ ★ ★ ★ ☆ 4/5Randomness ExtractorsDerandomizationComplexity Theory
Formal & Physical Sciences Computing & CybersecurityENTrading time, space, and alternations: General plasticity for algorithms from hardness of range...Zeyong LiOctober 30, 2026 40 min★ ★ ★ ★ ☆ 4/5Complexity TheoryDerandomizationRange Avoidance
Formal & Physical Sciences Computing & CybersecurityENPseudorandomness against AM circuits and new oracle separationsAndrew HuangOctober 30, 2026 42 min★ ★ ★ ☆ ☆ 3/5
Formal & Physical Sciences Computing & CybersecurityENProf. Jan Krajicek | Facets of the logical foundations of complexity theoryJan KrajicekOctober 30, 2026 98 min★ ★ ★ ★ ★ 5/5Proof ComplexityBounded ArithmeticComplexity Theory
Humanities, Social Sciences & Thought Computing & CybersecurityENAre There Problems Beyond the Reach of AI | World Science FestivalWorld Science FestivalOctober 30, 2026 84 min★ ★ ★ ★ ☆ 4/5AIMathematicsAI Safety
Formal & Physical Sciences Computing & CybersecurityENDr. Robert Robere | Polynomial Interpolation for Sherali-Adams Lower Bounds Part IIDr. Robert RobereOctober 28, 2026 55 min★ ★ ★ ★ ☆ 4/5Proof ComplexitySherali-AdamsLower Bounds
Formal & Physical Sciences Computing & CybersecurityENDr. Robert Robere | Polynomial Interpolation for Sherali-Adams Lower Bounds Part IRobert RobereOctober 28, 2026 60 min★ ★ ★ ★ ★ 5/5Proof ComplexitySherali-AdamsLower Bounds
Formal & Physical Sciences Computing & CybersecurityENHow Computers Fix Their Own Mistakes (Hamming Codes)axiom codeOctober 24, 2026 24 min★ ★ ★ ★ ★ 5/5Hamming CodeError CorrectionParity Bits
Formal & Physical Sciences Computing & CybersecurityENProf. Valentine Kabanets | Synergies between proof complexity and cryptographyValentine KabanetsOctober 23, 2026 45 min★ ★ ★ ★ ★ 5/5Proof ComplexityCryptographyMinimum Circuit Size Problem
Formal & Physical Sciences Computing & CybersecurityENDimitrios Tsintsilidas | Rounds vs. Parallel Queries in Student-Teacher WitnessingDimitrios TsintsilidasOctober 23, 2026 42 min★ ★ ★ ★ ☆ 4/5Computational ComplexityStudent-Teacher GamesBounded Arithmetic
Formal & Physical Sciences Computing & CybersecurityENStella Spadoni | Proof bounds and decidability in computability logicStella SpadoniOctober 22, 2026 17 min★ ★ ★ ★ ☆ 4/5Computability LogicProof ComplexityDecidability
Formal & Physical Sciences Computing & CybersecurityENProf. Vijay Ganesh | Autoformalization of research mathematics, from mizar to bounded arithmeticProf. Vijay GaneshOctober 22, 2026 23 min★ ★ ★ ★ ☆ 4/5AutoformalizationProof SynthesisLean
Formal & Physical Sciences Computing & CybersecurityENProf. Iddo Tzameret | Meta-mathematics of algebraic complexityIddo TzameretOctober 22, 2026 41 min★ ★ ★ ★ ☆ 4/5Algebraic ComplexityProof ComplexityBounded Arithmetic
Formal & Physical Sciences Computing & CybersecurityENNoel Arteche | Automating constant-depth Frege on CNF formulas is ETH-Hard, assuming no short...Noel ArtecheOctober 22, 2026 38 min★ ★ ★ ★ ☆ 4/5Proof ComplexityAutomated Theorem ProvingComplexity Theory
Formal & Physical Sciences Computing & CybersecurityENDr. Hanlin Ren | Many proof complexity generators inside one demi-bits generatorHanlin RenOctober 22, 2026 52 min★ ★ ★ ★ ★ 5/5Proof ComplexityComputational ComplexityRange Avoidance
Formal & Physical Sciences Computing & CybersecurityENProf. Olaf Beyersdorff | Fine-grained size-cost-capacity for strong semantic QBF proof systemsProf. Olaf Beyersdorff (Friedrich-Schiller-Universität Jena)October 21, 2026 24 min★ ★ ★ ★ ☆ 4/5QBFProof ComplexityLower Bounds
Formal & Physical Sciences Computing & CybersecurityENProf. Edward Hirsch | Input-oblivious complexity classes in the second level of the Polynomial H...Prof. Edward HirschOctober 21, 2026 40 min★ ★ ★ ★ ☆ 4/5Complexity TheoryPolynomial HierarchyInput-Oblivious
Formal & Physical Sciences Computing & CybersecurityENJán Pich | Efficient AdversariesJán PichOctober 21, 2026 38 min★ ★ ★ ★ ☆ 4/5Proof ComplexityComputational ComplexityAdversaries
Formal & Physical Sciences Computing & CybersecurityENDr. Robert Robere | Provable reductions in TFNPRobert RobereOctober 21, 2026 61 min★ ★ ★ ★ ☆ 4/5Proof ComplexityTFNPImplicit Proofs
Formal & Physical Sciences Computing & CybersecurityENProf. Antonina Kolokolova | Representation-independent lower boundsAntonina KolokolovaOctober 20, 2026 43 min★ ★ ★ ★ ☆ 4/5Proof ComplexityLower BoundsComplexity Theory
Formal & Physical Sciences Computing & CybersecurityENDr. Marco Carmosino | Constructive separations from gate eliminationDr. Marco CarmosinoOctober 20, 2026 39 min★ ★ ★ ★ ☆ 4/5Complexity TheoryCircuit Lower BoundsConstructive Separations
Formal & Physical Sciences Computing & CybersecurityENDr. Emil Jeřábek | Cauchy integral theorem in a TC^0 arithmeticDr. Emil JeřábekOctober 20, 2026 66 min★ ★ ★ ★ ☆ 4/5Bounded ArithmeticTC^0Complex Analysis
Formal & Physical Sciences Computing & CybersecurityENDr. Dmitry Itsykson | Updates on resolution over paritiesDr. Dmitry Itsykson (Ben-Gurion University)October 20, 2026 37 min★ ★ ★ ★ ☆ 4/5Proof ComplexityResolutionParity
Formal & Physical Sciences Computing & CybersecurityENOliver Korten | Top-Down Lower Bounds for All DepthsOliver KortenOctober 16, 2026 106 min★ ★ ★ ★ ☆ 4/5Circuit ComplexityLower BoundsParity
Formal & Physical Sciences Computing & CybersecurityENAI and Mathematics: Where Are We, and Where Are We Going?Minh Trinh (host) & Jean-Marc Schlenker (guest)October 14, 2026 56 min★ ★ ★ ★ ☆ 4/5IAMathématiquesPreuves
Formal & Physical Sciences Computing & CybersecurityENFINITE AUTOMATA | THEORY OF AUTOMATA & FORMAL LANGUAGES | LECTURE 03 BY MS. VIBHA SRIVASTAVA | AKGEVibha SrivastavaOctober 9, 2026 31 min★ ★ ★ ★ ☆ 4/5Finite AutomataDFA MinimizationMealy Machine
Formal & Physical Sciences Computing & CybersecurityENLambda Calculus - Foundation of Functional Programming - Mark Volkmann - NDC Oslo 2026Mark VolkmannOctober 7, 2026 47 min★ ★ ★ ★ ☆ 4/5Lambda CalculusFunctional ProgrammingJavascript
Formal & Physical Sciences Computing & CybersecurityENICM 2026 Invited Section Lecture - Urmila MahadevUrmila MahadevOctober 5, 2026 44 min★ ★ ★ ★ ★ 5/5Quantum ComputingLearning With ErrorsCryptography
Formal & Physical Sciences Computing & CybersecurityENVP, VNP and Algebraic Branching Programs over Min Plus Semirings by Harshil MittalHarshil MittalSeptember 28, 2026 42 min★ ★ ★ ★ ☆ 4/5Min-Plus SemiringAlgebraic Branching ProgramComputational Complexity
Formal & Physical Sciences Computing & CybersecurityENThe Natural Proofs Barrier Against Data-structure Lower-bounds by Bruno LoffBruno LoffSeptember 28, 2026 46 min★ ★ ★ ★ ☆ 4/5Natural ProofsData StructuresComputational Complexity
Formal & Physical Sciences Computing & CybersecurityENThe Log-Rank Conjecture: New Equivalent Formulations by Lianna HambardzumyanLianna HambardzumyanSeptember 28, 2026 52 min★ ★ ★ ★ ☆ 4/5Log-Rank ConjectureCommunication ComplexitySigned Rectangle Rank
Formal & Physical Sciences Computing & CybersecurityENSum-of-Squares Lower Bounds for Average Case Problems by Aaron PotechinAaron PotechinSeptember 28, 2026 45 min★ ★ ★ ★ ☆ 4/5Sum-of-SquaresProof ComplexityPlanted Clique
Formal & Physical Sciences Computing & CybersecurityENSeparations above TFNP from Sherali-Adams Lower Bounds by Deniz ImrekDeniz ImrekSeptember 28, 2026 35 min★ ★ ★ ★ ★ 5/5Proof ComplexityTFNPSherali-Adams