Informatique théorique
Thema UYA
RSR: From Cryptography to Complexity to ML Safety | Shafi Goldwasser | ADIA Lab Symposium 2026
RSR : De la cryptographie à la complexité à la sécurité du ML | Shafi Goldwasser | Symposium ADIA Lab 2026
★
★
★
★
☆
4/5
Rik Sengupta: Separating Quantum Circuits from Classical LLMs
Rik Sengupta: Séparer les circuits quantiques des LLM classiques
★
★
★
★
☆
4/5
The BRRY analysis of the INW generator is optimal
L'analyse BRRY du générateur INW est optimale
★
★
★
★
☆
4/5
Revisiting the xor lemma and exponential correlation bounds for polynomials
Revisiter le lemme XOR et les bornes de corrélation exponentielle pour les polynômes
★
★
★
★
☆
4/5
Hitting-set generators for low-degree F2-polynomials with almost optimal density
Générateurs d'ensembles de frappe pour polynômes F2 de bas degré avec densité presque optimale
★
★
★
★
★
5/5
Trading time, space, and alternations: General plasticity for algorithms from hardness of range...
Échanger le temps, l'espace et les alternances : Plasticité générale pour les algorithmes à partir de la difficulté de la plage...
★
★
★
★
★
5/5
Pseudorandomness against AM circuits and new oracle separations
Pseudorandomité contre les circuits AM et nouvelles séparations par oracle
★
★
★
★
☆
4/5
Prof. Jan Krajicek | Facets of the logical foundations of complexity theory
Prof. Jan Krajicek | Facettes des fondements logiques de la théorie de la complexité
★
★
★
★
☆
4/5
Are There Problems Beyond the Reach of AI | World Science Festival
Y a-t-il des problèmes hors de portée de l'IA | World Science Festival
★
★
★
★
★
5/5
Dr. Robert Robere | Polynomial Interpolation for Sherali-Adams Lower Bounds Part II
Dr. Robert Robere | Interpolation polynomiale pour les bornes inférieures de Sherali-Adams Partie II
★
★
★
★
☆
4/5
Dr. Robert Robere | Polynomial Interpolation for Sherali-Adams Lower Bounds Part I
Dr. Robert Robere | Interpolation polynomiale pour les bornes inférieures de Sherali-Adams Partie I
★
★
★
★
★
5/5
How Computers Fix Their Own Mistakes (Hamming Codes)
Comment les ordinateurs corrigent leurs propres erreurs (codes de Hamming)
★
★
★
★
★
5/5
Prof. Valentine Kabanets | Synergies between proof complexity and cryptography
Prof. Valentine Kabanets | Synergies entre complexité des preuves et cryptographie
★
★
★
★
★
5/5
Dimitrios Tsintsilidas | Rounds vs. Parallel Queries in Student-Teacher Witnessing
Dimitrios Tsintsilidas | Tours contre requêtes parallèles dans les jeux enseignant-élève
★
★
★
★
★
5/5
Stella Spadoni | Proof bounds and decidability in computability logic
Stella Spadoni | Bornes de preuve et décidabilité dans la logique de calculabilité
★
★
★
★
☆
4/5
Prof. Vijay Ganesh | Autoformalization of research mathematics, from mizar to bounded arithmetic
Prof. Vijay Ganesh | Autoformalisation des mathématiques de recherche, de mizar à l'arithmétique bornée
★
★
★
★
☆
4/5
Prof. Iddo Tzameret | Meta-mathematics of algebraic complexity
Prof. Iddo Tzameret | Méta-mathématiques de la complexité algébrique
★
★
★
★
★
5/5
Noel Arteche | Automating constant-depth Frege on CNF formulas is ETH-Hard, assuming no short...
Noel Arteche | Automatiser Frege de profondeur constante sur les formules CNF est ETH-difficile, en supposant qu'il n'y a pas de...
★
★
★
★
☆
4/5
Dr. Hanlin Ren | Many proof complexity generators inside one demi-bits generator
Dr. Hanlin Ren | De nombreux générateurs de complexité de preuves dans un générateur de demi-bits
★
★
★
★
☆
4/5
Prof. Olaf Beyersdorff | Fine-grained size-cost-capacity for strong semantic QBF proof systems
Prof. Olaf Beyersdorff | Capacité coût-taille à grain fin pour les systèmes de preuve QBF sémantiques forts
★
★
★
★
☆
4/5
Prof. Edward Hirsch | Input-oblivious complexity classes in the second level of the Polynomial H...
Prof. Edward Hirsch | Classes de complexité insensibles à l'entrée au deuxième niveau de la Hiérarchie Polynomiale...
★
★
★
★
☆
4/5
Dr. Robert Robere | Provable reductions in TFNP
Dr Robert Robere | Réductions prouvées du TFNP
★
★
★
★
☆
4/5
Prof. Antonina Kolokolova | Representation-independent lower bounds
Prof. Antonina Kolokolova | Bornes inférieures indépendantes de la représentation
★
★
★
★
☆
4/5
Dr. Marco Carmosino | Constructive separations from gate elimination
Dr. Marco Carmosino | Séparations constructives à partir de l'élimination de portes
★
★
★
★
☆
4/5
Dr. Emil Jeřábek | Cauchy integral theorem in a TC^0 arithmetic
Dr. Emil Jeřábek | Théorème intégral de Cauchy dans une arithmétique TC^0
★
★
★
★
☆
4/5
Dr. Dmitry Itsykson | Updates on resolution over parities
Dr Dmitry Itsykson | Mises à jour sur la résolution concernant les parités
★
★
★
★
☆
4/5
Oliver Korten | Top-Down Lower Bounds for All Depths
Oliver Korten | Bornes inférieures de haut en bas pour toutes les profondeurs
★
★
★
★
☆
4/5
AI and Mathematics: Where Are We, and Where Are We Going?
IA et mathématiques : où en sommes-nous, et où allons-nous ?
★
★
★
★
☆
4/5
FINITE AUTOMATA | THEORY OF AUTOMATA & FORMAL LANGUAGES | LECTURE 03 BY MS. VIBHA SRIVASTAVA | AKGE
AUTOMATES FINIS | THÉORIE DES AUTOMATES ET LANGAGES FORMELS | LEÇON 03 PAR MS. VIBHA SRIVASTAVA | AKGE
★
★
★
★
☆
4/5
Lambda Calculus - Foundation of Functional Programming - Mark Volkmann - NDC Oslo 2026
Calcul Lambda - Fondement de la programmation fonctionnelle - Mark Volkmann - NDC Oslo 2026
★
★
★
★
☆
4/5
ICM 2026 Invited Section Lecture - Urmila Mahadev
Conférence de la section invitée de l'ICM 2026 - Urmila Mahadev
★
★
★
★
★
5/5
VP, VNP and Algebraic Branching Programs over Min Plus Semirings by Harshil Mittal
VP, VNP et programmes de branchement algébriques sur les semi-anneaux Min Plus par Harshil Mittal
★
★
★
★
★
5/5
The Natural Proofs Barrier Against Data-structure Lower-bounds by Bruno Loff
La barrière des preuves naturelles contre les bornes inférieures de structures de données par Bruno Loff
★
★
★
★
★
5/5
The Log-Rank Conjecture: New Equivalent Formulations by Lianna Hambardzumyan
La Conjecture de Log-Rank: Nouvelles Formulations Équivalentes par Lianna Hambardzumyan
★
★
★
★
☆
4/5
Sum-of-Squares Lower Bounds for Average Case Problems by Aaron Potechin
Bornes inférieures de somme de carrés pour les problèmes de cas moyen par Aaron Potechin
★
★
★
★
☆
4/5
Separations above TFNP from Sherali-Adams Lower Bounds by Deniz Imrek
Séparations au-dessus de TFNP à partir de bornes inférieures de Sherali-Adams par Deniz Imrek
★
★
★
★
★
5/5