Proof Assistants, Interactive Verification, Proof Search, Tactical Reasoning
2011 N1 = 2024 A2
blog.evanchen.cc·23h
A Neural Net For a Graphing Calculator?
hackaday.com·9h
An Epistemic and Aleatoric Decomposition of Arbitrariness to Constrain the Set of Good Models
arxiv.org·2d
Improving Data and Parameter Efficiency of Neural Language Models Using Representation Analysis
arxiv.org·13h
The Future of AI Agent Communication with ACP
towardsdatascience.com·2d
Loading...Loading more...