Type Systems, Formal Methods, Lambda Calculus, Category Theory
Saturday open line
arktimes.com·1d
How Reading to My Baby Helped Me Read My Baby
theatlantic.com·13h
Hydra: A 1.6B-Parameter State-Space Language Model with Sparse Attention, Mixture-of-Experts, and Memory
arxiv.org·2d
Evaluating Multilingual and Code-Switched Alignment in LLMs via Synthetic Natural Language Inference
arxiv.org·3d
Let's Use ChatGPT To Write Our Paper! Benchmarking LLMs To Write the Introduction of a Research Paper
arxiv.org·3d
Presheaf automata
arxiv.org·6d
Loading...Loading more...