research
∙
04/17/2023
An Ethereum-compatible blockchain that explicates and ensures design-level safety properties for smart contracts
Smart contracts are crucial elements of decentralized technologies, but ...
share
research
∙
06/23/2022
Algebra-Based Reasoning for Loop Synthesis
Provably correct software is one of the key challenges of our software-d...
research
∙
03/12/2019
Guiding High-Performance SAT Solvers with Unsat-Core Predictions
The NeuroSAT neural network architecture was recently introduced for pre...
research
∙
03/12/2019
NeuroCore: Guiding High-Performance SAT Solvers with Unsat-Core Predictions
The NeuroSAT neural network architecture was introduced for predicting p...
research
∙
03/12/2019
NeuroCore: Guiding CDCL with Unsat-Core Predictions
The NeuroSAT neural network architecture was recently introduced for pre...
research
∙
02/24/2018