Proof Assistants, Interactive Verification, Proof Search, Tactical Reasoning
2011 N1 = 2024 A2
blog.evanchen.ccยท1d
How to run an LLM on your laptop
technologyreview.comยท23h
A Neural Net For a Graphing Calculator?
hackaday.comยท1d
Is Generative AI Replacing Junior Developers?
devops.comยท56m
Findings of MEGA: Maths Explanation with LLMs using the Socratic Method for Active Learning
arxiv.orgยท1d
Loading...Loading more...