diff options
| author | tomsmeding <tom.smeding@gmail.com> | 2023-08-18 17:44:20 +0200 |
|---|---|---|
| committer | tomsmeding <tom.smeding@gmail.com> | 2023-08-18 17:44:20 +0200 |
| commit | 288869cb36008975dfa01e660d07bd45d9a846e3 (patch) | |
| tree | 55313adbe4722f7004f5e6635050451952f6b8e8 | |
| parent | 4b0862dd3a0c6e4e8c4e11cdc8778ee7a3a1286f (diff) | |
publications: Add Efficient CHAD preprint
| -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", |