Formal Reasoning in AI: Song guest-lectures Virginia Tech course, slides public
wellecks · x · 2026-09-21
psong1 guest-lectured at Virginia Tech's ML course (ECE 4424/CS 4824) on "Formal Reasoning in AI: From Next-Step Prediction to Verifiable Reasoning Agents", with slides and course materials publicly available.
The lecture wove together LLM reasoning failures, neuro-symbolic systems, Lean, search, human-AI collaboration, adaptation, and verified software into one coherent narrative — and had students build part of it themselves.
The Fall 2026 course meets twice weekly, includes in-class quizzes and a project poster session, with the schedule auto-updated via Google Sheets.
More from Companies & People
- Musk claims Grokipedia will exceed Wikipedia by orders of magnitude in breadth and accuracy — ns123abc · 2026-09-21
- OpenAI robotics hiring surges as company re-enters the humanoid race five years after shutdown — ocean_protocol · 2026-09-21
- OpenAI robotics job listings jump from 11 to 27, base salaries up to $500,000 — Dr_Singularity · 2026-09-21
- Anthropic Sets Up Bay Area Wet Lab, Plans to Have Claude Run Experiment Robots — FinanceYF5 · 2026-09-21
- Meta Packs AI Agent Muse Into a Cute Pocket Gizmo, Winning Praise for Its Friendly Design — alexandr_wang · 2026-09-21
- Svetlin Nakov's Practical Cryptography for Developers (2023) is now free to read with an AI tutor — burkov · 2026-09-21