Simons Institute for the Theory of Computing

@simonsinstitute

155 tuit · page 3/4
Talk by Phillip Isola
Formal & Physical Sciences AI — Models & Research
EN

Talk by Phillip Isola

Phillip Isola
30 min
★ ★ ★ ★ ☆ 4/5
Recurrent Neural NetworksCredit AssignmentPredictive State
Talk by Alison Gopnik (UC Berkeley)
Humanities, Social Sciences & Thought AI — Models & Research
EN

Talk by Alison Gopnik (UC Berkeley)

Alison Gopnik
39 min
★ ★ ★ ★ ☆ 4/5
Causal ModelsReinforcement LearningExploration
Other Beings
Humanities, Social Sciences & Thought Psychology
EN

Other Beings

Ken Nakayama
28 min
★ ★ ★ ★ ☆ 4/5
Social CognitionMachiavellian IntelligencePrimate Behavior
Talk by Pranjal Awasthi (Google)
Formal & Physical Sciences AI — Models & Research
EN

Talk by Pranjal Awasthi (Google)

Pranjal Awasthi
38 min
★ ★ ★ ★ ☆ 4/5
Length GeneralizationTransformerAuxiliary Tasks
Computational Thinking on Learning Models
Formal & Physical Sciences AI — Models & Research
EN

Computational Thinking on Learning Models

Nati Srebro
38 min
★ ★ ★ ★ ☆ 4/5
Chain-of-ThoughtMachine Learning TheoryComputational Complexity
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