jevman: AI decision models play Pac-Man AI Tools AI Research Open Source Q: 7 R: 8 Oct 8, 2026 Summary
Sub-1-Bit LLM Compression via Latent Factorization AI Research Open Source LLM & Prompting Q: 8 R: 9 Oct 8, 2026 Summary
ar Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs AI Research LLM & Prompting Q: 8 R: 9 Oct 7, 2026 Summary
AI-assisted proof of optimal packing for 11 squares AI Tools AI Research Open Source Q: 8 R: 9 Oct 7, 2026 Summary
Write Like It's 1866: How LLMs Relearn Telegraphese to Slash Token Costs LLM & Prompting AI Research Q: 8 R: 9 Oct 7, 2026 Summary
Mathematical manuscripts and supporting proof artifacts produced by OpenAI AI Tools AI News AI Research Q: 8 R: 9 Oct 6, 2026 Summary
Ask a model if code is malicious and it reaches for its morals AI Research AI News Security Q: 8 R: 9 Oct 6, 2026 Summary
One Click Away: AI Tutoring with Khanmigo in a Two-Year School Experiment AI Research AI Tools Student Learning Q: 8 R: 9 Oct 6, 2026 Summary
Learning Jazz Pianist Style with Cross-Attention Conditioning AI Research Open Source AI Tools Q: 8 R: 9 Oct 5, 2026 Summary
Dust: Pretraining Transformers Without Backpropagation AI Research AI Tools AI News Q: 8 R: 9 Oct 5, 2026 Summary
Models ranked by normative score across twelve paradigms, once neutral and once human-primed LLM & Prompting AI Research AI News Q: 8 R: 9 Oct 4, 2026 Summary
T Inside Anthropic's Quest to Instill Morality into Its A.I. Models AI News AI Research LLM & Prompting Q: 8 R: 9 Oct 4, 2026 Summary
Understanding Frontier Artificial Intelligence AI News AI Research LLM & Prompting Q: 8 R: 9 Oct 3, 2026 Summary
Our Project Suncatcher prototype satellite is in orbit. AI News Cloud AI Research Q: 8 R: 9 Oct 2, 2026 Summary