AI ALIGNMENT FORUM
AF

Personal Blog

1

by Pasha Kamyshev
1 min read
1

1

This is a linkpost for https://www.overleaf.com/read/hbtmcwdbmhqt
Personal Blog
A closer look at program based UDT
New Comment
1 comment, sorted by
top scoring
Click to highlight new comments since:
[-]orthonormal00

What about using a reflective probabilistic oracle to decide whether programs halt, including programs that call on the same oracle?

Reply
Moderation Log
1Comments