x
This website requires javascript to properly function. Consider activating javascript to get access to all site functionality.
LESSWRONG
LW
Login
A benchmark for vericoding: formally verified program synthesis — LessWrong
AI
Event
4
A benchmark for vericoding: formally verified program
synthesis
by
Orpheus
LW
EA
1 min read
0
4
Register / More info:
https://luma.com/nk8ce7so
Posted on:
23rd Feb 2026
Subscribe to group
New Comment
Submit
Moderation Log
More from
Orpheus
View more
Curated and popular this week
0
Comments
0
Guaranteed Safe AI Seminars
Register / More info: https://luma.com/nk8ce7so
Posted on: