Formal Proof

Applied to I Tried to Formalize Meaning. I May Have Accidentally Described Consciousness. by Erichcurtis91 12d ago

Applied to AXRP Episode 40 - Jason Gross on Compact Proofs and Interpretability by DanielFilan 1mo ago

Applied to Formal Proof: O(n) Is a Cognitive Illusion by Daniil Strizhov 2mo ago

Applied to The Fundamental Circularity Theorem: Why Some Mathematical Behaviours Are Inherently Unprovable by Alister Munday 4mo ago

Applied to Measuring Nonlinear Feature Interactions in Sparse Crosscoders [Project Proposal] by Jason Gross 5mo ago

Applied to Most Minds are Irrational by Davidmanheim 5mo ago

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

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

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

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

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

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

Applied to A list of core AI safety problems and how I hope to solve them by agentofuser 1y 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 2y ago