3 papers
cs.PL2021
Toward SMT-Based Refinement Types in Agda
Gan Shen, Lindsey Kuper
Dependent types offer great versatility and power, but developing proofs with them can be tedious and requires considerable human guidance. We propose to integrate Satisfiability M…
cs.PL2021
Toward Hole-Driven Development with Liquid Haskell
Patrick Redmond, Gan Shen, Lindsey Kuper
Liquid Haskell is an extension to the Haskell programming language that adds support for refinement types: data types augmented with SMT-decidable logical predicates that refine th…
cs.AI2018
Toward Scalable Verification for Safety-Critical Deep Networks
Lindsey Kuper, Guy Katz, Justin Gottschlich +3
The increasing use of deep neural networks for safety-critical applications, such as autonomous driving and flight control, raises concerns about their safety and reliability. Form…