Martin-LĂśf Types, Intensional Equality, Proof Objects, Program Extraction
Extensibility In Lisp And Emacs
irreal.org¡2d
Arcan September Hackathon #2
arcan-fe.com¡13h
Pre-viva Talk - 02/10/2025
informatics.ed.ac.uk¡2d
AesBiasBench: Evaluating Bias and Alignment in Multimodal Language Models for Personalized Image Aesthetic Assessment
arxiv.org¡2d
Loading...Loading more...