|
+
PDF
Chat
|
Synthesizing Finite-State Protocols from Scenarios and Requirements
|
2014
|
Rajeev Alur
Milo M. K. Martin
Mukund Raghothaman
Christos Stergiou
Stavros Tripakis
Abhishek Udupa
|
3
|
|
+
|
A generalization of the procedure of karp and miller to well structured transition systems
|
1987
|
Alain Finkel
|
3
|
|
+
|
Parameterized Verification of Systems with Global Synchronization and Guards
|
2020
|
Nouraldin Jaber
Swen Jacobs
Christopher Wagner
Milind Kulkarni
Roopsha Samanta
|
3
|
|
+
PDF
Chat
|
The Power of Well-Structured Systems
|
2013
|
Sylvain Schmitz
Philippe Schnoebelen
|
3
|
|
+
PDF
Chat
|
Tight Cutoffs for Guarded Protocols with Fairness
|
2015
|
Simon Josef Außerlechner
Swen Jacobs
Ayrat Khalimov
|
2
|
|
+
PDF
Chat
|
CrypTFlow: Secure TensorFlow Inference
|
2020
|
Nishant Kumar
Mayank Rathee
Nishanth Chandran
Divya Gupta
Aseem Rastogi
Rahul Sharma
|
2
|
|
+
PDF
Chat
|
Parameterized Synthesis
|
2014
|
Swen Jacobs
Roderick Bloem
|
2
|
|
+
PDF
Chat
|
Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity
|
2017
|
Swen Jacobs
Mouhammad Sakr
|
2
|
|
+
PDF
Chat
|
A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms
|
2016
|
Igor Konnov
Marijana Lazić
Helmut Veith
Josef Widder
|
2
|
|
+
PDF
Chat
|
Geometrically uniform frames
|
2003
|
Yonina C. Eldar
Helmut Bölcskei
|
1
|
|
+
|
Grassmannian frames with applications to coding and communication
|
2003
|
Thomas Strohmer
Robert W. Heath
|
1
|
|
+
|
On the existence of equiangular tight frames
|
2007
|
Mátyás A. Sustik
Joel A. Tropp
Inderjit S. Dhillon
Robert W. Heath
|
1
|
|
+
PDF
Chat
|
Designing structured tight frames via an alternating projection method
|
2005
|
Joel A. Tropp
Inderjit S. Dhillon
Robert W. Heath
Thomas Strohmer
|
1
|
|
+
PDF
Chat
|
Decidability Issues for Petri Nets -- a survey
|
2024
|
Javier Esparza
Mogens Nielsen
|
1
|
|
+
|
Neural Photo Editing with Introspective Adversarial Networks
|
2016
|
Andrew Brock
Theodore Lim
Jacob Ritchie
Nick Weston
|
1
|
|
+
|
Component-based synthesis of table consolidation and transformation tasks from examples
|
2017
|
Yu Feng
Ruben Martins
Jacob Van Geffen
Işıl Dillig
Swarat Chaudhuri
|
1
|
|
+
PDF
Chat
|
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
|
2017
|
Guy Katz
Clark Barrett
David L. Dill
Kyle D. Julian
Mykel J. Kochenderfer
|
1
|
|
+
PDF
Chat
|
DeepXplore
|
2017
|
Kexin Pei
Yinzhi Cao
Junfeng Yang
Suman Jana
|
1
|
|
+
|
Fader Networks: Manipulating Images by Sliding Attributes
|
2017
|
Guillaume Lample
Neil Zeghidour
Nicolas Usunier
Antoine Bordes
Ludovic Denoyer
Marc apos Aurelio Ranzato
|
1
|
|
+
|
Learning to Infer Graphics Programs from Hand-Drawn Images
|
2017
|
Kevin Ellis
Daniel Ritchie
Armando Solar-Lezama
Joshua B. Tenenbaum
|
1
|
|
+
PDF
Chat
|
Program synthesis using conflict-driven learning
|
2018
|
Yu Feng
Ruben Martins
Osbert Bastani
Işıl Dillig
|
1
|
|
+
PDF
Chat
|
Automated migration of hierarchical data to relational tables using programming-by-example
|
2018
|
Navid Yaghmazadeh
Xinyu Wang
Işıl Dillig
|
1
|
|
+
|
Provably Minimally-Distorted Adversarial Examples
|
2017
|
Nicholas Carlini
Guy Katz
Clark Barrett
David L. Dill
|
1
|
|
+
PDF
Chat
|
Non-stationary texture synthesis by adversarial expansion
|
2018
|
Yang Zhou
Zhen Zhu
Xiang Bai
Dani Lischinski
Daniel Cohen‐Or
Hui Huang
|
1
|
|
+
|
Efficient Formal Safety Analysis of Neural Networks
|
2018
|
Shiqi Wang
Kexin Pei
Justin Whitehouse
Junfeng Yang
Suman Jana
|
1
|
|
+
|
MixTrain: Scalable Training of Formally Robust Neural Networks.
|
2018
|
Shiqi Wang
Yizheng Chen
Ahmed Abdou
Suman Jana
|
1
|
|
+
|
Learning to Infer and Execute 3D Shape Programs
|
2019
|
Yonglong Tian
Andrew Luo
Xingyuan Sun
Kevin Ellis
William T. Freeman
Joshua B. Tenenbaum
Jiajun Wu
|
1
|
|
+
PDF
Chat
|
Optimization and abstraction: a synergistic approach for analyzing neural network robustness
|
2019
|
Greg Anderson
Shankara Pailoor
Işıl Dillig
Swarat Chaudhuri
|
1
|
|
+
PDF
Chat
|
Formal Verification of Multi-Paxos for Distributed Consensus
|
2016
|
Saksham Chand
Yanhong A. Liu
Scott D. Stoller
|
1
|
|
+
|
Quantitative Synthesis for Concurrent Programs
|
2011
|
Pavol Černý
Krishnendu Chatterjee
Thomas A. Henzinger
Arjun Radhakrishna
Rohit Singh
|
1
|
|
+
|
Parameterized Model Checking of Token-Passing Systems
|
2013
|
Benjamin Aminof
Swen Jacobs
Ayrat Khalimov
Sasha Rubin
|
1
|
|
+
|
The Neuro-Symbolic Concept Learner: Interpreting Scenes, Words, and Sentences From Natural Supervision
|
2019
|
Jiayuan Mao
Chuang Gan
Pushmeet Kohli
Joshua B. Tenenbaum
Jiajun Wu
|
1
|
|
+
PDF
Chat
|
Inferring and Executing Programs for Visual Reasoning
|
2017
|
Justin Johnson
Bharath Hariharan
Laurens van der Maaten
Judy Hoffman
Li Fei-Fei
C. Lawrence Zitnick
Ross Girshick
|
1
|
|
+
PDF
Chat
|
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks
|
2017
|
Rüdiger Ehlers
|
1
|
|
+
|
Towards Fast Computation of Certified Robustness for ReLU Networks
|
2018
|
Tsui-Wei Weng
Huan Zhang
Hongge Chen
Zhao Song
Cho‐Jui Hsieh
Duane S. Boning
Inderjit S. Dhillon
Luca Daniel
|
1
|
|
+
|
Provable defenses against adversarial examples via the convex outer adversarial polytope
|
2017
|
Eric Wong
J. Zico Kolter
|
1
|
|
+
PDF
Chat
|
Safe Reinforcement Learning via Shielding
|
2018
|
Mohammed Alshiekh
Roderick Bloem
Rüdiger Ehlers
Bettina Könighofer
Scott Niekum
Ufuk Topcu
|
1
|
|
+
PDF
Chat
|
Maximum Resilience of Artificial Neural Networks
|
2017
|
Chih-Hong Cheng
Georg Nührenberg
Harald Rueß
|
1
|
|
+
|
Certified Defenses against Adversarial Examples
|
2018
|
Aditi Raghunathan
Jacob Steinhardt
Percy Liang
|
1
|
|
+
PDF
Chat
|
Harnessing Deep Neural Networks with Logic Rules
|
2016
|
Zhiting Hu
Xuezhe Ma
Zhengzhong Liu
Eduard Hovy
Eric P. Xing
|
1
|
|
+
|
Formal Security Analysis of Neural Networks using Symbolic Intervals
|
2018
|
Shiqi Wang
Kexin Pei
Justin Whitehouse
Junfeng Yang
Suman Jana
|
1
|
|
+
|
A Semantic Loss Function for Deep Learning with Symbolic Knowledge
|
2017
|
Jingyi Xu
Zilu Zhang
Tal Friedman
Yitao Liang
Guy Van den Broeck
|
1
|
|
+
PDF
Chat
|
StarGAN: Unified Generative Adversarial Networks for Multi-domain Image-to-Image Translation
|
2018
|
Yunjey Choi
Minje Choi
Munyoung Kim
Jung-Woo Ha
Sunghun Kim
Jaegul Choo
|
1
|
|
+
PDF
Chat
|
Paxos made EPR: decidable reasoning about distributed protocols
|
2017
|
Oded Padon
Giuliano Losa
Mooly Sagiv
Sharon Shoham
|
1
|
|
+
PDF
Chat
|
Modular Generative Adversarial Networks
|
2018
|
Bo Zhao
Bo Chang
Zequn Jie
Leonid Sigal
|
1
|
|
+
|
Neural Programmer-Interpreters
|
2016
|
Scott Reed
Nando de Freitas
|
1
|
|
+
|
Adam: A Method for Stochastic Optimization
|
2014
|
Diederik P. Kingma
Jimmy Ba
|
1
|
|
+
PDF
Chat
|
Foreground-Aware Image Inpainting
|
2019
|
Wei Xiong
Jiahui Yu
Zhe Lin
Shuicheng Yan
Xin Lu
Connelly Barnes
Jiebo Luo
|
1
|
|
+
|
Towards Deep Learning Models Resistant to Adversarial Attacks.
|
2018
|
Aleksander Mądry
Aleksandar Makelov
Ludwig Schmidt
Dimitris Tsipras
Adrian Vladu
|
1
|
|
+
|
PyTorch: An Imperative Style, High-Performance Deep Learning Library
|
2019
|
Adam Paszke
Sam Gross
Francisco Massa
Adam Lerer
James Bradbury
Gregory Chanan
Trevor Killeen
Zeming Lin
Natalia Gimelshein
Luca Antiga
|
1
|