Formal Proof

Applied to Most Minds are Irrational by Davidmanheim 16d ago

Applied to Searching for Impossibility Results or No-Go Theorems for provable safety. by Maelstrom 3mo ago

Applied to An Opinionated Look at Inference Rules by Gianluca Calcagni 4mo ago

Applied to Limitations on Formal Verification for AI Safety by Andrew Dickson 4mo ago

Applied to Video Intro to Guaranteed Safe AI by Mike Vaiana 6mo ago

Applied to Compact Proofs of Model Performance via Mechanistic Interpretability by Jason Gross 6mo ago

Applied to Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems by Chipmonk 7mo ago

Applied to A list of core AI safety problems and how I hope to solve them by agentofuser 9mo ago

Applied to Planning to build a cryptographic box with perfect secrecy by Lysandre Terrisse 1y ago

Applied to Social Choice Theory and Logical Handshakes by StrivingForLegibility 1y ago

Applied to Eleuther releases Llemma: An Open Language Model For Mathematics by mako yass 1y ago

Applied to I bet $500 on AI winning the IMO gold medal by 2026 by azsantosk 2y ago

Applied to Roadmap for a collaborative prototype of an Open Agency Architecture by Deger Turan 2y ago

Applied to What Programming Language Characteristics Would Allow Provably Safe AI? by Noosphere89 2y ago

Applied to Davidad's Bold Plan for Alignment: An In-Depth Explanation by Charbel-Raphaël 2y ago