summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--publications.json11
1 files changed, 11 insertions, 0 deletions
diff --git a/publications.json b/publications.json
index e8864c0..763a93c 100644
--- a/publications.json
+++ b/publications.json
@@ -6,6 +6,17 @@
"pubs": [
{
"year": 2023,
+ "month": 7,
+ "authors": ["tom", "matthijs"],
+ "title": "Efficient CHAD",
+ "preprint": true,
+ "links": [
+ {"type": "arxiv", "id": "2307.05738"},
+ {"type": "code", "url": "https://github.com/tomsmeding/efficient-chad-agda"}
+ ]
+ },
+ {
+ "year": 2023,
"month": 1,
"authors": ["tom", "matthijs"],
"title": "Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations",