Synthesis Mode, Checking Mode, Local Inference, Type Elaboration
Programmer's Guide To Theory - Practical Grammar
i-programmer.infoยท6h
List is a Monad: Understanding Map, flatMap, and Maybe in Practice
hackernoon.comยท9h
How singleton contradicts longtermism
lesswrong.comยท3h
Existence and Synthesis of Multi-Resolution Approximate Bisimulations for Continuous-State Dynamical Systems
arxiv.orgยท1d
Scaling Speculative Decoding with Lookahead Reasoning
hao-ai-lab.github.ioยท1d
AD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback
arxiv.orgยท11h
Quartic Quantum Speedups for Planted Inference
journals.aps.orgยท1d
Proof Rules for MetaSMT
philipzucker.comยท2d
Friday 24 October - 11am
informatics.ed.ac.ukยท2h
Loading...Loading more...