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