Simons Institute for the Theory of Computing

Models of Computation

Modèles de calcul

Linear Systems: Basic Properties and Classical Algorithms

Systèmes linéaires : propriétés fondamentales et algorithmes classiques

Introduction to Matrix Multiplication

Introduction à la multiplication matricielle

The Future of Hardware Technologies for Computing

L'avenir des technologies matérielles pour l'informatique

Hardware Constraints

Contraintes matérielles

Computer Architecture 101 and its Future

Architecture des ordinateurs : les bases et son avenir

Moni Naor | Polylogues

Boot camp on invariances in graph learning

Boot camp sur les invariances dans l'apprentissage par graphes

Boot Camp on Graph Learning

Boot Camp sur l'apprentissage sur graphes

Boot camp on graph foundations models

Boot camp sur les modèles de fondation de graphes

The modern anonymous credential (how ZK landed in Google Wallet)

L'identifiant anonyme moderne (comment ZK s'est retrouvé dans Google Wallet)

Secure Computation and Low-Complexity Cryptography

Calcul sécurisé et cryptographie à faible complexité

A Unified Framework for Succinct Garbling from Homomorphic Secret Sharing

Un cadre unifié pour le déchiffrement succinct à partir du partage de secrets homomorphes

Steven Piantadosi | Polylogues

WhAM: Towards A Translative Model of Sperm Whale Vocalization

WhAM: Vers un modèle translatif de la vocalisation du cachalot

Machine Translation of Human Languages in the Age of LLMs: Is This the End of the Language Barrier?

Traduction automatique des langues humaines à l’ère des LLM : est-ce la fin de la barrière linguistique ?

Decoding Dolphin Speech

Décoder le langage des dauphins

Verifiable quantum advantage: old and new ideas

Avantage quantique vérifiable : idées anciennes et nouvelles

Diamond iO: Lattice-Based Obfuscation without Bootstrapping from Functional Encryption, toward...

Diamond iO: Obfuscation basée sur les treillis sans amorçage à partir du chiffrement fonctionnel, vers...

Expedition to Obfustopia: Indistinguishability Obfuscation from Well-Studied Assumptions to New...

Expédition vers Obfustopia : Obscurcissement d'indistingabilité à partir d'hypothèses bien étudiées jusqu'à de nouvelles...

Private Information Retrieval and Oblivious RAM

Récupération d'informations privées et RAM inconsciente

Sasha Rush | Polylogues

DeepSeek-R1 Thoughtology: ＜Thinking＞ about LLM Reasoning

DeepSeek-R1 Thoughtology: ＜Thinking＞ sur le raisonnement des LLM

Superintelligent Agents Pose Catastrophic Risks — ... | Richard M. Karp Distinguished Lecture

Les agents superintelligents posent des risques catastrophiques — ... | Richard M. Karp Distinguished Lecture

Optimization by Decoded Quantum Interferometry | Quantum Colloquium

Optimisation par interférométrie quantique décodée | Colloque quantique

Andrew Gordon Wilson | Polylogues

How Do Transformers Learn Variable Binding?

Comment les transformateurs apprennent-ils la liaison des variables ?

Boaz Barak | Polylogues

Testing Noise Assumptions of Learning Algorithms

Test des hypothèses de bruit des algorithmes d'apprentissage

Talk by Ali Kavis (UT Austin)

Conférence par Ali Kavis (UT Austin)

A Discrepancy-Based Theory of Adaptation

Une Théorie de l'Adaptation Basée sur la Discrepance

Intro to Quantum Gibbs Samplers: Algorithmic Ingredients

Introduction aux échantillonneurs de Gibbs quantiques : ingrédients algorithmiques

Understanding and Improving Efficient Language Models

Comprendre et améliorer les modèles de langage efficaces

Modern paradigms of generalization, the heliocentric model of Aristarchus,...

Paradigmes modernes de généralisation, le modèle héliocentrique d'Aristarque,...

Irit Dinur | Polylogues