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
Video Intro to Guaranteed Safe AI
by
Mike Vaiana
15d
ago
•
Applied to
Compact Proofs of Model Performance via Mechanistic Interpretability
by
Jason Gross
1mo
ago
•
Applied to
Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems
by
Chipmonk
2mo
ago
•
Applied to
A list of core AI safety problems and how I hope to solve them
by
agentofuser
4mo
ago
•
Applied to
Planning to build a cryptographic box with perfect secrecy
by
Lysandre Terrisse
7mo
ago
•
Applied to
Social Choice Theory and Logical Handshakes
by
StrivingForLegibility
7mo
ago
•
Applied to
Eleuther releases Llemma: An Open Language Model For Mathematics
by
mako yass
9mo
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