This website requires javascript to properly function. Consider activating javascript to get access to all site functionality.
LESSWRONG
Wikitags
LW
Login
Subscribe
Discussion
0
Verification
Subscribe
Discussion
0
This page is a stub.
Posts tagged
Verification
Most Relevant
1
156
Formal verification, heuristic explanations and surprise accounting
Ω
Jacob_Hilton
9mo
Ω
11
1
96
Compact Proofs of Model Performance via Mechanistic Interpretability
Ω
LawrenceC
,
rajashree
,
Adrià Garriga-alonso
,
Jason Gross
9mo
Ω
4
1
15
Making it harder for an AGI to "trick" us, with STVs
Ω
Tor Økland Barstad
3y
Ω
5
1
10
Alignment with argument-networks and assessment-predictions
Ω
Tor Økland Barstad
2y
Ω
5