Abstract Interpretation, Monotone Functions, Lattice Theory, Program Analysis
Computational phylogeny of Indo-European
languagelog.ldc.upenn.edu·7h
I recreated Asteroids with AI in five minutes, and now I think game development is about to change forever
techradar.com·4h
COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk Guarantees
arxiv.org·1d
Structural Optimal Jacobian Accumulation and Minimum Edge Count are NP-Complete Under Vertex Elimination
arxiv.org·3d
Loading...Loading more...