Martin-Löf Types, Intensional Equality, Proof Objects, Program Extraction
LZ4 Decompression on the 68000
bumbershootsoft.wordpress.com·1d
Finding Common Ground: Using Large Language Models to Detect Agreement in Multi-Agent Decision Conferences
arxiv.org·15m
Loading...Loading more...