Dependent Types, Proving Program Correctness, Curry-Howard Isomorphism, Formal Verification, Curry-Howard Correspondence, Hindley-Milner, Polymorphism
What writing a failed rock-paper-scissors program taught me (or should have taught me) about sample size and uncertainty
statmodeling.stat.columbia.edu·17h
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
arxiv.org·3h
Programmable k-local Ising Machines and all-optical Kolmogorov-Arnold Networks on Photonic Platforms
arxiv.org·3h
Loading...Loading more...