Proof Assistants, Interactive Verification, Proof Search, Tactical Reasoning
Alignment
languagelog.ldc.upenn.edu·1d
Brain Busting Apple Interview Puzzle Paths On Grid
mindyourdecisions.com·9h
Beyond the Hype: Real Talk on AI-Assisted Development • Jessica Kerr & Diana Montalion • GOTO 2025
youtube.com·1d
Unpacking Claude’s System Prompt
oreilly.com·1d
The Future of AI Agent Communication with ACP
towardsdatascience.com·1d
Simplify your Agent "vibe building" flow with ADK and Gemini CLI
developers.googleblog.com·10h
Findings of MEGA: Maths Explanation with LLMs using the Socratic Method for Active Learning
arxiv.org·1h
Loading...Loading more...