From c167646f3f4a3076d03ac5c9fc2e229e2babf7c7 Mon Sep 17 00:00:00 2001 From: jfschaefer <jfschaefer@outlook.com> Date: Mon, 21 Dec 2020 14:59:37 +0100 Subject: [PATCH] slides --- seminar.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/seminar.md b/seminar.md index bffa8b4..9dcbae6 100644 --- a/seminar.md +++ b/seminar.md @@ -31,7 +31,7 @@ and a mattermost channel for chat. To join the mattermost channel: |Date|Speaker|Title/Topic| |----|-------|-----------| |2020-12-07|Deyan Ginev|Language and mathematics pretraining in 2021: preparing the large open datasets ([slides](https://prodg.org/talks/language_and_math_model_pretraining))| -|2020-12-21| Deborah Mendes Ferreira | Premise Selection in Natural Language: Finding supporting facts for mathematical statements | +|2020-12-21| Deborah Mendes Ferreira | Premise Selection in Natural Language: Finding supporting facts for mathematical statements ([slides](https://docs.google.com/presentation/d/14ZVrp2kiOmthWeLBugraFdIVkd4z-PqfJMT-nlRX-e4/edit?usp=sharing)) | |2021-01-04| - | cancelled (too close to New Year) | |2021-01-18| ? | ? | |2021-02-01| Takuto Asakura | Towards Grounding of Formulae | -- GitLab