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