| 101 |
Boosting Few-Pixel Robustness Verification via Covering Verification Designs
Yuval Shapira, Naor Wiesel, ... (+2 more)
|
👻
Ghosted
|
cs.LG
|
1 |
2 years ago |
| 102 |
The SemGuS Toolkit
Keith J. C. Johnson, Andrew Reynolds, ... (+2 more)
|
👻
Ghosted
|
cs.PL
|
1 |
1 year ago |
| 103 |
Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates
Shaowei Zhu, Zachary Kincaid
|
👻
Ghosted
|
cs.PL
|
1 |
1 year ago |
| 104 |
Verifying Tree-Manipulating Programs via CHCs
Marco Faella, Gennaro Parlato
|
👻
Ghosted
|
cs.PL
|
1 |
1 year ago |
| 105 |
Scaling GR(1) Synthesis via a Compositional Framework for LTL Discrete Event Control
Hernan Gagliardi, Victor Braberman, Sebastian Uchitel
|
👻
Ghosted
|
cs.SE
|
1 |
11 months ago |
| 106 |
Strided Difference Bound Matrices
Arjun Pitchanathan, Albert Cohen, ... (+2 more)
|
👻
Ghosted
|
cs.SC
|
0 |
2 years ago |
| 107 |
Verifying Cake-Cutting, Faster
Noah Bertram, Tean Lai, Justin Hsu
|
👻
Ghosted
|
cs.GT
|
0 |
2 years ago |
| 108 |
StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs
Yusuke Kawamoto, Kentaro Kobayashi, Kohei Suenaga
|
👻
Ghosted
|
cs.SE
|
0 |
2 years ago |
| 109 |
A Formally Verified Robustness Certifier for Neural Networks (Extended Version)
James Tobler, Hira Taqdees Syeda, Toby Murray
|
👻
Ghosted
|
cs.PL
|
0 |
1 year ago |
| 110 |
Data-driven Verification of Procedural Programs with Integer Arrays
Ahmed Bouajjani, Wael-Amine Boutglay, Peter Habermehl
|
👻
Ghosted
|
cs.PL
|
0 |
1 year ago |
| 111 |
On the Complexity of Checking Mixed Isolation Levels for SQL Transactions
Ahmed Bouajjani, Constantin Enea, Enrique Román-Calvo
|
👻
Ghosted
|
cs.DB
|
0 |
1 year ago |