Will "Formal verification, heuristic explanations a..." make the top fifty posts in LessWrong's 2024 Annual Review?
2
Ṁ17
2026
15%
chance

As part of LessWrong's Annual Review, the community nominates, writes reviews, and votes on the most valuable posts. Posts are reviewable once they have been up for at least 12 months, and the 2024 Review resolves in February 2026.

This market will resolve to 100% if the post Formal verification, heuristic explanations and surprise accounting is one of the top fifty posts of the 2024 Review, and 0% otherwise. The market was initialized to 14%.

Get
Ṁ1,000
and
S1.00