Simons Institute for the Theory of Computing

Venturing out into the world with AI

S'aventurer dans le monde avec l'IA

Unfamiliar Terrain

Terrain inconnu

The Role of TCS in Understanding (AI) Consciousness

Le rôle des TCS dans la compréhension de la conscience (IA)

The Conscious Turing Machine (CTM), a formally defined Theoretical model of Consciousness

La machine de Turing consciente (CTM), un modèle théorique de la conscience formellement défini

Astral Space: Convex Analysis at Infinity

Espace astral : analyse convexe à l'infini

AI and Safety

IA et sécurité

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)