Resources › ai › language_models › evaluation Bookmarks 2026-05-28 bookmark madore.org · 49 min Les LLM vont-ils tuer les mathématiques ? proof assistants 2026-05-06 bookmark davidbessis.substack.com · 53 min The fall of the theorem economy proof assistants 2026-02-06 video youtube.com · 2:10:59 AI math capabilities could be jagged for a long time – Daniel Litt usage 2025-08-19 bookmark tylercosgrove.com · 4 min Do LLMs Have Good Music Taste? interpretabilityaesthetics 2025-04-22 bookmark natolambert.substack.com · 3 min "Does Reinforcement Learning Really Incentivize Reasoning Capacity in LLMs Beyond the Base Model?" llm 2024-01-03 bookmark haticeozbolat17.medium.com · 4 min Text Summarization: How to Calculate BertScore embeddings Subcategories