Intuitionistic Proofs, Program Extraction, Computational Content, Type Theory
Emacs: Open URLs or search the web, plus browse-url-handlers
sachachua.com·17h
Towards an Efficient Shifted Cholesky QR for Applications in Model Order Reduction using pyMOR
arxiv.org·1d
Learning Deliberately, Acting Intuitively: Unlocking Test-Time Reasoning in Multimodal LLMs
arxiv.org·2d
Loading...Loading more...