This website requires javascript to properly function. Consider activating javascript to get access to all site functionality.
LESSWRONG
Tags
LW
Login
Formal Proof
•
Applied to
A list of core AI safety problems and how I hope to solve them
by
agentofuser
1mo
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
6mo
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
List of links: Formal Methods, Embedded Agency, 3d world models, and some tools
by
the gears to ascension
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
1y
ago
•
Applied to
Question/Issue with the 5/10 Problem
by
acgt
2y
ago