Simons Institute for the Theory of Computing

Theory of Modern AI: Learning Theoretic, Game Theoretic, and Algorithmic Perspectives

Théorie de l'IA moderne : perspectives théoriques de l'apprentissage, théoriques des jeux et algorithmiques

Red Points and Blue Points

Points rouges et points bleus

Questions for Theory in the New Age of Machine Learning

Questions pour la théorie à l'ère du machine learning

Probably Approximately Precision and Recall Learning

Apprentissage probablement approximatif de la précision et du rappel

Enhanced and Efficient Reasoning in Large Language Models

Raisonnement amélioré et efficace dans les grands modèles de langage

Disincentivizing Hallucination

Décourager les hallucinations

An Occam's Razor Principle for Transformers?

Un principe de parcimonie pour les Transformers ?

Panel Discussion

Table ronde

Can AI do research math?

L'IA peut-elle faire des mathématiques de recherche ?

Responsibly Improving AI with Privacy-Sensitive Data: Principles, Theory, and Practice | Richard...

Améliorer responsablement l'IA avec des données sensibles à la vie privée : principes, théorie et pratique | Richard...

Understanding Outer Optimizers in Local SGD: Learning Rates, Momentum, and Acceleration

Comprendre les optimiseurs externes dans la SGD locale : taux d'apprentissage, momentum et accélération

From the Ball-proximal (Broximal) Point Method to Efficient Training of LLM

De la méthode du point proximal de la sphère (point broximal) à l'entraînement efficace du LLM

Alignment Problems in AI Governance

Problèmes d'alignement dans la gouvernance de l'IA

Tutorial: Incentives for Collaborative Learning and Data Sharing, Part II

Tutoriel : Incitations à l'apprentissage collaboratif et au partage de données, Partie II

Let’s Stop Leaving Money on the Table | Richard M. Karp Distinguished Lecture

Arrêtons de laisser passer des opportunités | Richard M. Karp Distinguished Lecture

The Inadequacy of Offline LLM Evaluations: A Need to Account for Personalization in Model Behavior

L'insuffisance des évaluations hors ligne des LLM : un besoin de tenir compte de la personnalisation dans le comportement du modèle

Scheduling with Time-Evolving Uncertainty for Content Review Prioritization in Social Media

Planification avec incertitude évoluant dans le temps pour la priorisation de la révision de contenu dans les médias sociaux

Venkatesan Guruswami | Polylogues

AI’s Models of the World, and Ours | Theoretically Speaking

Modèles du monde de l’IA et les nôtres | Théoriquement parlant

Lightning Talks by Simons Institute Fellows

Conférences éclair des boursiers de l’Institut Simons

Optimizing the Annoying Stuff: Reducing Costs Obscured by the Abstract Circuit Model

Optimiser les choses ennuyeuses : Réduire les coûts masqués par le modèle de circuit abstrait

Yael Tauman Kalai & Daniele Micciancio | Polylogues

Yael Tauman Kalai et Daniele Micciancio | Polylogues

Tensors and their uses, especially for matrix multiplication (Part 1)

Les tenseurs et leurs applications, notamment pour la multiplication matricielle (Partie 1)

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