Martin-LΓΆf Types, Intensional Equality, Proof Objects, Program Extraction
Brought a Gun to a Knife Fight: Modern VFM Baselines Outgun Specialized Detectors on In-the-Wild AI Image Detection
arxiv.orgΒ·12h
PAC: Pronunciation-Aware Contextualized Large Language Model-based Automatic Speech Recognition
arxiv.orgΒ·12h
Loading...Loading more...