Martin-LΓΆf Types, Intensional Equality, Proof Objects, Program Extraction
Extensibility In Lisp And Emacs
irreal.orgΒ·1d
Pre-viva Talk - 02/10/2025
informatics.ed.ac.ukΒ·1d
LLM in the Middle: A Systematic Review of Threats and Mitigations to Real-World LLM-based Systems
arxiv.orgΒ·12h
Aesthetic Experience and Educational Value in Co-creating Art with Generative AI: Evidence from a Survey of Young Learners
arxiv.orgΒ·12h
Loading...Loading more...