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
2
Vanessa Kosoy's PreDCA, distilled
Martín Soto
1mo
17
93
Infra-Bayesian physicalism: a formal theory of naturalized induction
Vanessa Kosoy
1y
20
38
Infra-Exercises, Part 1
Diffractor
3mo
9
71
Understanding Infra-Bayesianism: A Beginner-Friendly Video Series
Jack Parker
2mo
6
116
Introduction To The Infra-Bayesianism Sequence
Diffractor
2y
64
20
A Brief Intro to Domain Theory
Diffractor
3y
4
6
Logical inductor limits are dense under pointwise convergence
SamEisenstat
6y
0
8
Proofs Section 2.2 (Isomorphism to Expectations)
Diffractor
2y
0
8
Proofs Section 2.3 (Updates, Decision Theory)
Diffractor
2y
0
35
AXRP Episode 5 - Infra-Bayesianism with Vanessa Kosoy
DanielFilan
1y
12
15
Infra-Domain proofs 1
Diffractor
1y
0
9
Fundamentals of Formalisation Level 5: Formal Proof
philip_b
4y
0
24
Formalized math: dream vs reality
cousin_it
13y
10
8
Proofs Section 1.1 (Initial results to LF-duality)
Diffractor
2y
0
6
[ASoT] Reflectivity in Narrow AI
Ulisse Mini
29d
1
39
Proper scoring rules don’t guarantee predicting fixed points
Johannes_Treutlein
4d
2
16
Is the "Valley of Confused Abstractions" real?
jacquesthibs
15d
9
96
Taking the parameters which seem to matter and rotating them until they don't
Garrett Baker
3mo
48
4
Guardian AI (Misaligned systems are all around us.)
Jessica Mary
25d
6
54
Neural Tangent Kernel Distillation
Thomas Larsen
2mo
20
20
Why I'm Working On Model Agnostic Interpretability
Jessica Mary
1mo
9
1
Working towards AI alignment is better
Johannes C. Mayer
11d
2
61
SERI MATS Program - Winter 2022 Cohort
Ryan Kidd
2mo
12
72
Externalized reasoning oversight: a research direction for language model alignment
tamera
4mo
22
36
Race Along Rashomon Ridge
Stephen Fowler
5mo
15
30
Framing AI Childhoods
David Udell
3mo
8
28
The Ground Truth Problem (Or, Why Evaluating Interpretability Methods Is Hard)
Jessica Mary
1mo
2
28
Behaviour Manifolds and the Hessian of the Total Loss - Notes and Criticism
Spencer Becker-Kahn
3mo
4