Simons Institute for the Theory of Computing

@simonsinstitute

155 tuit · page 4/4
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
Steven Piantadosi | Polylogues
Humanities, Social Sciences & Thought Language & Linguistics
EN

Steven Piantadosi | Polylogues

Steven Piantadosi
33 min
★ ★ ★ ★ ☆ 4/5
Large Language ModelsLinguisticsCognitive Science
Decoding Dolphin Speech
Formal & Physical Sciences Biology
EN

Decoding Dolphin Speech

Mark Hamilton
66 min
★ ★ ★ ★ ☆ 4/5
Dolphin CommunicationSelf-Supervised LearningMultimodal Learning
Sasha Rush | Polylogues
Formal & Physical Sciences AI — Models & Research
EN

Sasha Rush | Polylogues

Sasha Rush
20 min
★ ★ ★ ★ ☆ 4/5
Scaling LawsLarge Language ModelsTest-Time Compute
Andrew Gordon Wilson | Polylogues
Formal & Physical Sciences AI — Models & Research
EN

Andrew Gordon Wilson | Polylogues

Andrew Gordon Wilson
29 min
★ ★ ★ ★ ☆ 4/5
TransformersKolmogorov ComplexityNo Free Lunch Theorem
How Do Transformers Learn Variable Binding?
Formal & Physical Sciences AI — Models & Research
EN

How Do Transformers Learn Variable Binding?

Raphaël Millière
71 min
★ ★ ★ ★ ☆ 4/5
Variable BindingTransformersMechanistic Interpretability
Boaz Barak | Polylogues
Formal & Physical Sciences AI — News & Applications
EN

Boaz Barak | Polylogues

Boaz Barak
26 min
★ ★ ★ ★ ☆ 4/5
CryptographyMachine LearningZero-Knowledge Proofs
Talk by Ali Kavis (UT Austin)
Formal & Physical Sciences Mathematics
EN

Talk by Ali Kavis (UT Austin)

Ali Kavis
27 min
★ ★ ★ ★ ☆ 4/5
OptimizationMin-MaxSecond-Order
Irit Dinur | Polylogues
Formal & Physical Sciences Computing & Cybersecurity
EN

Irit Dinur | Polylogues

Irit Dinur
22 min
★ ★ ★ ★ ☆ 4/5
Theoretical Computer SciencePCP TheoremHigh-Dimensional Expanders