Martin-Löf Types, Intensional Equality, Proof Objects, Program Extraction
Extensibility In Lisp And Emacs
irreal.org·1d
enjoy-digital/litex
github.com·9h
PAC: Pronunciation-Aware Contextualized Large Language Model-based Automatic Speech Recognition
arxiv.org·7h
Loading...Loading more...