Update README.md

princeton-vl · Sep 21, 2021 · 680a5df · 680a5df
1 parent 9677ace
commit 680a5df
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -13,7 +13,7 @@ International Conference on Machine Learning (ICML) 2019
   title={Learning to Prove Theorems via Interacting with Proof Assistants},
   author={Yang, Kaiyu and Deng, Jia},
   booktitle={International Conference on Machine Learning (ICML)},
-  year={2019},
+  year={2019}
 }
 ```