Simons Institute for the Theory of Computing

Do AI Systems Have World Models? Probing Reasoning, Forecasting, and Generalization

Les systèmes d'IA ont-ils des modèles du monde? Sonder le raisonnement, les prévisions et la généralisation

Talk by Phillip Isola

Conférence de Phillip Isola

Talk by Alison Gopnik (UC Berkeley)

Conférence d'Alison Gopnik (UC Berkeley)

Representation of the world in the human brain

Représentation du monde dans le cerveau humain

Other Beings

Autres êtres

Quantum advantage in quantum simulation in the age of classical simulation

Avantage quantique dans la simulation quantique à l'ère de la simulation classique

End-to-End Simulation of Chemical Dynamics on a Quantum Computer

Simulation de bout en bout de la dynamique chimique sur un ordinateur quantique

Talk by Pranjal Awasthi (Google)

Discours de Pranjal Awasthi (Google)

Multi-objective Learning: An Algorithmic Toolbox for Optimal Predictions Anytime Anywhere!

Apprentissage multi-objectifs : une boîte à outils algorithmique pour des prédictions optimales à tout moment et en tout lieu.

Efficient Algorithms for Reliable Machine Learning

Algorithmes efficaces pour un apprentissage automatique fiable

Computational Thinking on Learning Models

Pensée computationnelle sur les modèles d'apprentissage

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)