Martin-LΓΆf Types, Intensional Equality, Proof Objects, Program Extraction
AesBiasBench: Evaluating Bias and Alignment in Multimodal Language Models for Personalized Image Aesthetic Assessment
arxiv.orgΒ·1d
Brought a Gun to a Knife Fight: Modern VFM Baselines Outgun Specialized Detectors on In-the-Wild AI Image Detection
arxiv.orgΒ·5h
PAC: Pronunciation-Aware Contextualized Large Language Model-based Automatic Speech Recognition
arxiv.orgΒ·5h
Loading...Loading more...