TLA+, Model Checking, Coq, Theorem Proving, Specification Languages
Fortnight notes: 16 – 29 June
neilojwilliams.net·23h
Exploring Image Generation via Mutually Exclusive Probability Spaces and Local Correlation Hypothesis
arxiv.org·10h
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·6d
Loading...Loading more...