Formal Proof

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

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

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

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

Applied to I bet $500 on AI winning the IMO gold medal by 2026 by Kelvin Santos 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-Raphael Segerie 1y ago

Applied to Squeezing foundations research assistance out of formal logic narrow AI. by Lauren (often wrong) 1y ago

Applied to Speedrunning 4 mistakes you make when your alignment strategy is based on formal proof by Quinn Dougherty 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 Lauren (often wrong) 1y ago

Applied to Boundaries vs Frames by Noosphere89 2y ago

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