Intuitionistic Proofs, Program Extraction, Computational Content, Type Theory
Extensions and Shadows (7)
sites.psu.edu·4d
Do not yell at the language model
seangoedecke.com·2d
Mistral’s new “environmental audit” shows how much AI is hurting the planet
arstechnica.com·19h
fossas/fossa-cli
github.com·11h
Wasserstein GAN-Based Precipitation Downscaling with Optimal Transport for Enhancing Perceptual Realism
arxiv.org·1d
Loading...Loading more...