summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMatthew Sotoudeh <matthewsot@outlook.com>2021-04-08 19:32:06 -0700
committerMatthew Sotoudeh <matthewsot@outlook.com>2021-04-08 19:32:06 -0700
commit9e854eadcd4af185fd60d9297e9cc7dbcf283e04 (patch)
tree7ee3234b4b95603ae6f0865b2573981c02d8dff1
Placeholder README
-rw-r--r--README.md2
1 files changed, 2 insertions, 0 deletions
diff --git a/README.md b/README.md
new file mode 100644
index 0000000..4c87da4
--- /dev/null
+++ b/README.md
@@ -0,0 +1,2 @@
+# PRDNN: Provable Repair of Deep Neural Networks
+Code will be uploaded here before PLDI 2021.
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback