Martin-LĂśf Types, Intensional Equality, Proof Objects, Program Extraction
Extensibility In Lisp And Emacs
irreal.org¡2d
Brought a Gun to a Knife Fight: Modern VFM Baselines Outgun Specialized Detectors on In-the-Wild AI Image Detection
arxiv.org¡14h
PAC: Pronunciation-Aware Contextualized Large Language Model-based Automatic Speech Recognition
arxiv.org¡14h
Loading...Loading more...