Lean Eval for Alignment on Faithfulness
asdajksbda
103 points
4 comments
August 11, 2026
Related Discussions
Found 5 related stories in 43.7ms across 4,128 title embeddings via pgvector HNSW
- LeanScreen: Lean Verification Hdjlaf · 30 pts · July 29, 2026 · 70% similar
- Safety and alignment in an era of long-horizon models Wingy · 27 pts · July 20, 2026 · 48% similar
- AI Alignment as a Thought-Terminating Cliche meetpateltech · 17 pts · August 18, 2026 · 48% similar
- Measuring reward-seeking by instilling contrastive beliefs mfiguiere · 11 pts · July 21, 2026 · 47% similar
- Are We Stuck with Lean? jjgreen · 135 pts · July 30, 2026 · 46% similar
Discussion Highlights (4 comments)
bro123123
I swear I had this idea a minute ago?
Shox18283
Excited to Check it out seems like a bold claim though?
fewfweewf
Could have came up with a better name lol
asdajksbda
is it paid?