Verification

TagLast edit: 9 Jul 2022 14:37 UTC by Tor Økland Barstad

Formal verification, heuristic explanations and surprise accounting

Jacob_Hilton25 Jun 2024 15:40 UTC

156 points

11 comments9 min readLW link

(www.alignment.org)

Compact Proofs of Model Performance via Mechanistic Interpretability

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

24 Jun 2024 19:27 UTC

95 points

3 comments8 min readLW link

(arxiv.org)

Making it harder for an AGI to “trick” us, with STVs

Tor Økland Barstad9 Jul 2022 14:42 UTC

15 points

5 comments22 min readLW link

Alignment with argument-networks and assessment-predictions

Tor Økland Barstad13 Dec 2022 2:17 UTC

10 points

5 comments45 min readLW link

No comments.