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
114
Understanding Infra-Bayesianism: A Beginner-Friendly Video Series
Jack Parker
2mo
6
16
Vanessa Kosoy's PreDCA, distilled
Martín Soto
1mo
17
49
Infra-Exercises, Part 1
Diffractor
3mo
9
98
Infra-Bayesian physicalism: a formal theory of naturalized induction
Vanessa Kosoy
1y
20
104
Introduction To The Infra-Bayesianism Sequence
Diffractor
2y
64
17
Infra-Miscellanea
Diffractor
8mo
0
13
Understanding the Merging of Opinions with Increasing Information theorem
ViktoriaMalyasova
8mo
1
33
AXRP Episode 5 - Infra-Bayesianism with Vanessa Kosoy
DanielFilan
1y
12
27
Inframeasures and Domain Theory
Diffractor
1y
3
35
Basic Inframeasure Theory
Diffractor
2y
16
22
Less Basic Inframeasure Theory
Diffractor
2y
1
120
Proofs, Implications, and Models
Eliezer Yudkowsky
10y
218
14
Domain Theory and the Prisoner's Dilemma: FairBot
Gurkenglas
1y
5
13
Infra-Domain proofs 1
Diffractor
1y
0
55
Proper scoring rules don’t guarantee predicting fixed points
Johannes_Treutlein
4d
2
15
Is the "Valley of Confused Abstractions" real?
jacquesthibs
15d
9
71
SERI MATS Program - Winter 2022 Cohort
Ryan Kidd
2mo
12
117
Taking the parameters which seem to matter and rotating them until they don't
Garrett Baker
3mo
48
68
Neural Tangent Kernel Distillation
Thomas Larsen
2mo
20
26
The Ground Truth Problem (Or, Why Evaluating Interpretability Methods Is Hard)
Jessica Mary
1mo
2
7
Working towards AI alignment is better
Johannes C. Mayer
11d
2
28
Why I'm Working On Model Agnostic Interpretability
Jessica Mary
1mo
9
15
Guardian AI (Misaligned systems are all around us.)
Jessica Mary
25d
6
103
Externalized reasoning oversight: a research direction for language model alignment
tamera
4mo
22
28
Auditing games for high-level interpretability
Paul Colognese
1mo
1
37
Framing AI Childhoods
David Udell
3mo
8
35
Behaviour Manifolds and the Hessian of the Total Loss - Notes and Criticism
Spencer Becker-Kahn
3mo
4
14
What sorts of systems can be deceptive?
Andrei Alexandru
1mo
0