x

LESSWRONG
LW

Verification — LessWrong

Verification

This page is a stub.

Posts tagged Verification

2

39Validating against a misalignment detector is very different to training against one

9mo

4

1

162Formal verification, heuristic explanations and surprise accounting

1y

11

1

104Compact Proofs of Model Performance via Mechanistic Interpretability

LawrenceC, rajashree, Adrià Garriga-alonso, Jason Gross

1y

4

1

20The V&V method - A step towards safer AGI

5mo

1

1

15Making it harder for an AGI to "trick" us, with STVs

Tor Økland Barstad

3y

5

1

10Alignment with argument-networks and assessment-predictions

Tor Økland Barstad

3y

5

Add Posts