Formal Proof

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

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

Applied to Planning to build a cryptographic box with perfect secrecy by Lysandre Terrisse 5mo ago

Applied to Social Choice Theory and Logical Handshakes by StrivingForLegibility 5mo ago

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

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

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

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

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

Applied to Squeezing foundations research assistance out of formal logic narrow AI. by the gears to ascension 1y ago

Applied to Speedrunning 4 mistakes you make when your alignment strategy is based on formal proof by Quinn 1y ago

Applied to Interview Daniel Murfet on Universal Phenomena in Learning Machines by Alexander Gietelink Oldenziel 1y ago

Applied to A List of things I might do with a Proof Oracle by RobertM 1y ago

Applied to [talk] Osbert Bastani - Interpretable Machine Learning via Program Synthesis - IPAM at UCLA by the gears to ascension 1y ago

Applied to Boundaries vs Frames by Noosphere89 2y ago

Applied to Question/Issue with the 5/10 Problem by acgt 3y ago