research
∙
11/26/2022
Safety Verification of Declarative Smart Contracts
Smart contracts manage a large number of digital assets nowadays. Bugs i...
share
research
∙
07/27/2022
Declarative Smart Contracts
This paper presents DeCon, a declarative programming language for implem...
research
∙
10/08/2021
Hybrid Random Features
We propose a new class of random feature methods for linearizing softmax...
research
∙
07/16/2021
Graph Kernel Attention Transformers
We introduce a new class of graph neural networks (GNNs), by combining s...
research
∙
05/27/2021
Calibrating Over-Parametrized Simulation Models: A Framework via Eligibility Set
Stochastic simulation aims to compute output performance for complex mod...
research
∙
02/26/2021
Learning Prediction Intervals for Regression: Generalization and Calibration
We study the generation of prediction intervals in regression for uncert...
research
∙
02/22/2021
Interpret-able feedback for AutoML systems
Automated machine learning (AutoML) systems aim to enable training machi...
research
∙
05/27/2020