Agda, Coq, Isabelle, Lean, Theorem Proving, Interactive Verification
I used ChatGPT to apply Tim Ferriss’ 4-Hour Work Week, and it helped me make a major life decision
techradar.com·7h
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
arxiv.org·2d
Loading...Loading more...