Search papers, labs, and topics across Lattice.
Affiliation:
3
0
5
15
Students using Hazel Prover showed significant improvement in inductive reasoning, but initial excessive support hindered their ability to transfer skills to traditional assessments.
Guaranteeing safety in autonomous systems gets a boost: this work enables formal verification of hybrid system code that directly controls physical processes.
Ditch the overly conservative error bounds: a new probabilistic approach to floating-point analysis delivers speed and precision by cleverly taming Taylor expansions.
