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
enjoy-digital/litex
github.com¡4h
A Transformer-Based Cross-Platform Analysis of Public Discourse on the 15-Minute City Paradigm
arxiv.org¡1d
Make Identity Unextractable yet Perceptible: Synthesis-Based Privacy Protection for Subject Faces in Photos
arxiv.org¡1d
AesBiasBench: Evaluating Bias and Alignment in Multimodal Language Models for Personalized Image Aesthetic Assessment
arxiv.org¡1d
Loading...Loading more...