diff options
| -rw-r--r-- | publications.json | 11 |
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", |