Research

Interpretability Evals AF Guaranteed Safe AI Clear

Alignment Forum

Discussion and research on AI alignment. alignmentforum.org

AI (574)Interpretability (ML & AI) (73)AI Control (51)AI Evaluations (31)Chain-of-Thought Alignment (27)AI-Assisted Alignment (16)AI Risk (13)AI Takeoff (13)AI Governance (12)AI Timelines (10)Sandbagging (AI) (10)Debate (AI safety technique) (7)AI Auditing (6)Alignment Pretraining (6)Dealmaking (AI) (6)AI Psychology (5)AI Alignment Fieldbuilding (4)AI Rights / Welfare (4)AI Risk Concrete Stories (4)AI Safety Cases (4)Aligned AI Proposals (4)Jailbreaking (AIs) (3)Open Source AI (3)Regulation and AI Risk (3)Threat Models (AI) (3)AI Alignment Intro Materials (2)AI Safety (2)AI Safety Camp (2)AI Safety Public Materials (2)AIXI (2)Grants & Fundraising Opportunities (2)Guaranteed Safe AI (2)OpenAI (2)Slowing Down AI (2)AI Benchmarking (1)AI Capabilities (1)AI Development Pause (1)AI Lab Self-Immolation (1)AI Success Models (1)Aligned AI Role-Model Fiction (1)Frontier AI Companies (1)Human-AI Safety (1)Neuromorphic AI (1)Power Seeking (AI) (1)Prosaic Alignment (1)Truthful AI (1)

1 item

28 Mar 2025BlogInterpretability, Evals

AXRP Episode 40 - Jason Gross on Compact Proofs and Interpretability

DanielFilan

An AXRP podcast interview with Jason Gross on using compact proofs to benchmark mechanistic interpretability, measuring explanation quality by proof length and bound tightness, and related guaranteed-safety ideas.

Guaranteed Safe AIInterpretability (ML & AI)AI

Research

Filters

Focus

Date

Sort

Alignment Forum

AXRP Episode 40 - Jason Gross on Compact Proofs and Interpretability

Research

Research

Filters

Focus

Date

Sort

Alignment Forum

AXRP Episode 40 - Jason Gross on Compact Proofs and Interpretability

Research

Friday 28 March

AXRP Episode 40 - Jason Gross on Compact Proofs and Interpretability

Research

Research

Friday 28 March

AXRP Episode 40 - Jason Gross on Compact Proofs and Interpretability