Go Back
Choose this branch
Choose this branch
meritocratic
regular
democratic
hot
top
alive
28 posts
Infra-Bayesianism
Formal Proof
Domain Theory
28 posts
SERI MATS
Distributional Shifts
157
Understanding Infra-Bayesianism: A Beginner-Friendly Video Series
Jack Parker
2mo
6
103
Infra-Bayesian physicalism: a formal theory of naturalized induction
Vanessa Kosoy
1y
20
100
Proofs, Implications, and Models
Eliezer Yudkowsky
10y
218
92
Introduction To The Infra-Bayesianism Sequence
Diffractor
2y
64
60
Infra-Exercises, Part 1
Diffractor
3mo
9
38
Basic Inframeasure Theory
Diffractor
2y
16
31
AXRP Episode 5 - Infra-Bayesianism with Vanessa Kosoy
DanielFilan
1y
12
30
A Brief Intro to Domain Theory
Diffractor
3y
4
30
Vanessa Kosoy's PreDCA, distilled
Martín Soto
1mo
17
22
Inframeasures and Domain Theory
Diffractor
1y
3
20
Progress on automated mathematical theorem proving?
JonahS
9y
65
18
Less Basic Inframeasure Theory
Diffractor
2y
1
17
Fundamentals of Formalisation Level 5: Formal Proof
philip_b
4y
0
16
Infra-Miscellanea
Diffractor
8mo
0
138
Taking the parameters which seem to matter and rotating them until they don't
Garrett Baker
3mo
48
134
Externalized reasoning oversight: a research direction for language model alignment
tamera
4mo
22
82
Neural Tangent Kernel Distillation
Thomas Larsen
2mo
20
81
SERI MATS Program - Winter 2022 Cohort
Ryan Kidd
2mo
12
71
Proper scoring rules don’t guarantee predicting fixed points
Johannes_Treutlein
4d
2
62
Race Along Rashomon Ridge
Stephen Fowler
5mo
15
44
Framing AI Childhoods
David Udell
3mo
8
43
Auditing games for high-level interpretability
Paul Colognese
1mo
1
42
Behaviour Manifolds and the Hessian of the Total Loss - Notes and Criticism
Spencer Becker-Kahn
3mo
4
37
Broad Basins and Data Compression
Jeremy Gillen
4mo
6
36
Why I'm Working On Model Agnostic Interpretability
Jessica Mary
1mo
9
33
Finding Skeletons on Rashomon Ridge
David Udell
4mo
2
29
What Makes an Idea Understandable? On Architecturally and Culturally Natural Ideas.
NickyP
4mo
2
27
Distribution Shifts and The Importance of AI Safety
Leon Lang
2mo
2