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
INI Seminar Room 1
@iniseminarroom1
Prof. Iddo Tzameret | Meta-mathematics of algebraic complexity
Prof. Iddo Tzameret | Méta-mathématiques de la complexité algébrique
★
★
★
★
★
5/5
Prof. Arnold Beckmann | On Propositional Translations from Theories for Log-space Computation
Prof. Arnold Beckmann | Sur les traductions propositionnelles de théories pour le calcul en espace logarithmique
★
★
★
★
☆
4/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
Dr. Raheleh Jalali | Formalizing the LLL algorithm in bounded arithmetic
Dr. Raheleh Jalali | Formalisation de l'algorithme LLL en arithmétique bornée
★
★
★
★
☆
4/5
Dr. Amirhossein Akbar Tabatabai | Affine QBF-Frege: games, strategies, and lower bounds
Dr. Amirhossein Akbar Tabatabai | QBF-Frege affine : jeux, stratégies et bornes inférieures
★
★
★
★
☆
4/5
Prof. Johann Makowsky | Extensions of Courcelle's Theorem without logic
Prof. Johann Makowsky | Extensions du théorème de Courcelle sans logique
★
★
★
★
☆
4/5
Prof. Antonina Kolokolova | Representation-independent lower bounds
Prof. Antonina Kolokolova | Bornes inférieures indépendantes de la représentation
★
★
★
★
☆
4/5
Dr. Neil Thapen | Quantified propositional calculi and narrow implicit proofs
Dr. Neil Thapen | Calculs propositionnels quantifiés et preuves implicites étroites
★
★
★
★
☆
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
Prof. Anupam Das | A monotone version of Cook's correspondence
Prof. Anupam Das | Une version monotone de la correspondance de Cook
★
★
★
★
★
5/5
Jiatu Li | How to build cryptography from proof complexity
Jiatu Li | Comment construire la cryptographie à partir de la complexité des preuves
★
★
★
★
★
5/5
Dr. Susanna de Rezende | The Proof Analysis Problem for Constant-Depth Frege
Dr Susanna de Rezende | Le problème d'analyse de preuve pour Frege à profondeur constante
★
★
★
★
☆
4/5
Dr. Ondřej Ježil | Ultrapowers, Boolean Valued Models and Forcing in Bounded Arithmetic
Dr. Ondřej Ježil | Ultrapuissances, modèles booléens et forcing en arithmétique bornée
★
★
★
★
☆
4/5
Prof. Or Meir | On Top-Down Lower Bound Techniques for Constant-Depth Circuits
Prof. Or Meir | Sur les techniques de bornes inférieures de haut en bas pour les circuits de profondeur constante
★
★
★
★
☆
4/5
Prof. Iddo Tzameret | Algebraic Proof Complexity: Past, Present, and Future
Prof. Iddo Tzameret | Complexité des preuves algébriques : passé, présent et futur
★
★
★
★
★
5/5
Prof. Christian Ikenmeyer | Kronecker products and iterated matrix multiplication
Prof. Christian Ikenmeyer | Produits de Kronecker et multiplication matricielle itérée
★
★
★
★
☆
4/5
Prof. Roei Tell | Time vs Space vs Alternations: General Plasticity for Algorithms from Hardness ...
Prof. Roei Tell | Temps vs Espace vs Alternances : Plasticité générale pour les algorithmes à partir de la dureté...
★
★
★
★
★
5/5
Dr. Igor Carboni Oliveira | Meta-Mathematics of Complexity Theory
Dr. Igor Carboni Oliveira | Méta-mathématiques de la théorie de la complexité
★
★
★
★
☆
4/5
Dr. Hanlin Ren | Near-Maximum Circuit Lower Bounds for Exponential Time with Merlin-Arthur Queries
Dr. Hanlin Ren | Bornes inférieures de circuits quasi-maximales pour le temps exponentiel avec requêtes Merlin-Arthur
★
★
★
★
★
5/5
Halley Goldberg | Asymmetry and Complexity of Nondeterministic Computations
Halley Goldberg | Asymétrie et complexité des calculs non déterministes
★
★
★
★
☆
4/5
![Frontiers in complexity lower bounds [LFCW01] | Mon 7th September](https://i.ytimg.com/vi/BleMYuy7FJc/hqdefault.jpg)
Frontiers in complexity lower bounds [LFCW01] | Mon 7th September
Frontières dans les bornes inférieures de complexité [LFCW01] | Lun 7 septembre
★
★
★
★
☆
4/5
Dr. Zhenjian Lu | Nondeterminism in Meta-Complexity
Dr. Zhenjian Lu | Non-déterminisme en méta-complexité
★
★
★
★
☆
4/5
Prof. Nicole Yunger Halpern | Thermalization and its non-Abelian discontents
Pre Nicole Yunger Halpern | Thermalisation et ses mécontentements non abéliens
★
★
★
★
★
5/5
Dr. Oliver Lunt | Emergent random matrix universality in quantum operator dynamics
Dr. Oliver Lunt | Universalité émergente des matrices aléatoires dans la dynamique des opérateurs quantiques
★
★
★
★
★
5/5
Prof. Wael Bahsoun | Decay of correlations for partially hyperbolic skew-products
Prof. Wael Bahsoun | Décroissance des corrélations pour les produits croisés partiellement hyperboliques
★
★
★
★
☆
4/5
Maxence Phalempin | Estimating stationary measures for mean field coupled systems
Maxence Phalempin | Estimation de mesures stationnaires pour des systèmes couplés en champ moyen
★
★
★
★
☆
4/5
Dr. Catherine Drysdale | Rigged Dynamic Mode Decomposition: Data-Driven Generalized Eigenfunctio...
Dr. Catherine Drysdale | Décomposition de Mode Dynamique Truquée : Fonctions Propres Généralisées Basées sur les Données...
★
★
★
★
☆
4/5
Dr. Boumediene Hamzi | When Compressibility Replaces Smoothness: Bridging Machine Learning, Dynam...
Dr. Boumediene Hamzi | Quand la compressibilité remplace la régularité : Relier l'apprentissage automatique, la dynam...
★
★
★
★
☆
4/5
Prof. Zlatko Drmac | Residuals and mixed backward shadowing stability of the EDMD/KMD
Prof. Zlatko Drmac | Résidus et stabilité par suivi arrière mixte de l'EDMD/KMD
★
★
★
★
☆
4/5
Dr. Paula Lorenzo Sánchez | Residual Pseudospectra Reveal a Physics-Informed Koopman Backbone for...
Dr. Paula Lorenzo Sánchez | Pseudospectres résiduels révèlent une colonne vertébrale de Koopman informée par la physique pour...
★
★
★
★
☆
4/5
Prof. Peter Koltai | Takens meets Koopman: Linear least squares prediction of nonlinear time series
Prof. Peter Koltai | Takens rencontre Koopman : prédiction linéaire par moindres carrés de séries temporelles non linéaires
★
★
★
★
☆
4/5
Prof. Marco Marletta | Resonance computations: are they easy or hard?
Prof. Marco Marletta | Calculs de résonance : simples ou complexes ?
★
★
★
★
☆
4/5