Skip to content

Changes

Page history
Update SS24 authored by Dennis Müller's avatar Dennis Müller
Show whitespace changes
Inline Side-by-side
SS24.md
View page @ 4389127c
...@@ -30,3 +30,4 @@ ...@@ -30,3 +30,4 @@
| Chatchai Boonman | "Confidences for Commonsense Reasoning" Tammet, T., Draheim, D., Järv, P. (CADE 2021) | | X | | Chatchai Boonman | "Confidences for Commonsense Reasoning" Tammet, T., Draheim, D., Järv, P. (CADE 2021) | | X |
| Moiz Riaz | [A Proof-Producing Compiler for Blockchain Applications](https://drops.dagstuhl.de/storage/00lipics/lipics-vol268-itp2023/LIPIcs.ITP.2023.7/LIPIcs.ITP.2023.7.pdf) | | X | | Moiz Riaz | [A Proof-Producing Compiler for Blockchain Applications](https://drops.dagstuhl.de/storage/00lipics/lipics-vol268-itp2023/LIPIcs.ITP.2023.7/LIPIcs.ITP.2023.7.pdf) | | X |
|Joud Busaileh | [A Voice Cloning Method Based on the Improved HiFi-GAN Model](https://www.hindawi.com/journals/cin/2022/6707304/) | | No: This is just a superficial survey without CS content | May 15th | |Joud Busaileh | [A Voice Cloning Method Based on the Improved HiFi-GAN Model](https://www.hindawi.com/journals/cin/2022/6707304/) | | No: This is just a superficial survey without CS content | May 15th |
| Marius Lin | Can Large Language Models be too big? (Gebru et al) | X | X |
\ No newline at end of file