Thumbnail

Autoformalization: from traditional to formal mathematics using large language models

Start date: 17.06.2024 15:00 17:00

Speaker: Auguste Poiroux Location: Category: Conferences - Seminars
Target audience: General public

Thumbnail

Efficient and High Soundness Constructions in Different Proof Systems (PCP, IOP and IP of proximity)

Start date: 18.06.2024 10:00 12:00

Speaker: Yuxi Zheng Location: Category: Conferences - Seminars
Target audience: General public

Thumbnail
Cancelled

Accelerating Neural Workloads in Differentiable Monte Carlo Rendering

Start date: 18.06.2024 13:00 15:00

Speaker: Benjamin Chislett Location: Category: Conferences - Seminars
Target audience: General public

Thumbnail

Solving Inverse PDE Problems Using Grid-Free Monte Carlo Estimators

Start date: 18.06.2024 15:00 17:00

Speaker: Ekrem Fatih Yilmazer Location: Category: Conferences - Seminars
Target audience: General public