Simons Institute for the Theory of Computing

@simonsinstitute

144 tuit · page 3/4
Venturing out into the world with AI
Formal & Physical Sciences AI — Models & Research
EN

Venturing out into the world with AI

Jon Kleinberg
44 min
★ ★ ★ ★ ☆ 4/5
World ModelsLLM InterpretabilityMyhill-Nerode Theorem
Unfamiliar Terrain
Formal & Physical Sciences AI — Models & Research
EN

Unfamiliar Terrain

Prabhakar Raghavan
29 min
★ ★ ★ ★ ☆ 4/5
AI-Assisted Theorem ProvingAlphaEvolveTheoretical Computer Science
AI and Safety
Humanities, Social Sciences & Thought AI & Society
EN

AI and Safety

Ronald Rivest
29 min
★ ★ ★ ☆ ☆ 3/5
AI SafetyAsimovRobotics
Red Points and Blue Points
Formal & Physical Sciences AI — Models & Research
EN

Red Points and Blue Points

Santosh Vempala
38 min
★ ★ ★ ★ ☆ 4/5
Learning TheoryPAC LearningHalfspaces
Disincentivizing Hallucination
Formal & Physical Sciences AI — Models & Research
EN

Disincentivizing Hallucination

Jerry Li (OpenAI)
33 min
★ ★ ★ ★ ☆ 4/5
HallucinationLanguage ModelsBenchmarks
Panel Discussion
Humanities, Social Sciences & Thought AI & Society
EN

Panel Discussion

Simons Institute for the Theory of Computing
62 min
★ ★ ★ ★ ☆ 4/5
AI GovernancePolicyEvidence-Based Policy
Can AI do research math?
Formal & Physical Sciences AI — News & Applications
EN

Can AI do research math?

Simons Institute for the Theory of Computing
32 min
★ ★ ★ ★ ☆ 4/5
AI ResearchMathematicsLLM
Alignment Problems in AI Governance
Humanities, Social Sciences & Thought Law & Justice
EN

Alignment Problems in AI Governance

Rui-Jie Yew, Greg Demirchyan
64 min
★ ★ ★ ★ ☆ 4/5
AI GovernanceAlignmentEU AI Act
Venkatesan Guruswami | Polylogues
Formal & Physical Sciences Computing & Cybersecurity
EN

Venkatesan Guruswami | Polylogues

Simons Institute for the Theory of Computing
27 min
★ ★ ★ ★ ☆ 4/5
Theoretical Computer ScienceSimons InstituteResearch Directions
Lightning Talks by Simons Institute Fellows
Formal & Physical Sciences Computing & Cybersecurity
EN

Lightning Talks by Simons Institute Fellows

Simons Institute for the Theory of Computing
71 min
★ ★ ★ ★ ☆ 4/5
Data StructuresMatrix RecoveryByzantine Agreement
Yael Tauman Kalai & Daniele Micciancio | Polylogues
Formal & Physical Sciences Science — General & History
EN

Yael Tauman Kalai & Daniele Micciancio | Polylogues

Yael Tauman Kalai, Daniele Micciancio, Lakshmi Chandrasekaran
56 min
★ ★ ★ ★ ☆ 4/5
CryptographyLattice-Based CryptographyFully Homomorphic Encryption
Models of Computation
Formal & Physical Sciences Computing & Cybersecurity
EN

Models of Computation

Olga Holtz
70 min
★ ★ ★ ★ ☆ 4/5
Models of ComputationFloating-Point ArithmeticComplexity Theory
Introduction to Matrix Multiplication
Formal & Physical Sciences Mathematics
EN

Introduction to Matrix Multiplication

Olga Holtz
56 min
★ ★ ★ ★ ★ 5/5
Matrix MultiplicationStrassen AlgorithmComputational Complexity
Hardware Constraints
Applied Sciences & Engineering Computing & Cybersecurity
EN

Hardware Constraints

Mark Horowitz
77 min
★ ★ ★ ★ ☆ 4/5
HardwareMoore's LawDomain-Specific Accelerators
Computer Architecture 101 and its Future
Formal & Physical Sciences Computing & Cybersecurity
EN

Computer Architecture 101 and its Future

David Patterson
72 min
★ ★ ★ ★ ★ 5/5
Computer ArchitectureMoore's LawDennard Scaling
Moni Naor | Polylogues
Formal & Physical Sciences Science — General & History
EN

Moni Naor | Polylogues

Moni Naor
29 min
★ ★ ★ ★ ☆ 4/5
CryptographyComplexity TheoryCAPTCHA
Boot camp on invariances in graph learning
Formal & Physical Sciences AI — Models & Research
EN

Boot camp on invariances in graph learning

Risi Kondor, Nadav Dym, Hannah Lawrence
89 min
★ ★ ★ ★ ☆ 4/5
EquivarianceGraph Neural NetworksRepresentation Theory
Boot Camp on Graph Learning
Formal & Physical Sciences AI — Models & Research
EN

Boot Camp on Graph Learning

Ameya Velingker, Haggai Maron, Christopher Morris
98 min
★ ★ ★ ★ ☆ 4/5
Graph LearningTheoretical Computer ScienceMachine Learning
Boot camp on graph foundations models
Formal & Physical Sciences AI — Models & Research
EN

Boot camp on graph foundations models

Mikhail Galkin
76 min
★ ★ ★ ★ ☆ 4/5
Graph Neural NetworksFoundation ModelsLink Prediction