Episode 149 - English AI generated : KS Pulse - Theorem Proving, LongEmbed

Knowledge Science - Alles über KI, ML und NLP

Sigurd Schacht, Carsten Lanquillon, Sigurd Schacht, and Carsten Lanquillon에서 제공하는 콘텐츠입니다. 에피소드, 그래픽, 팟캐스트 설명을 포함한 모든 팟캐스트 콘텐츠는 Sigurd Schacht, Carsten Lanquillon, Sigurd Schacht, and Carsten Lanquillon 또는 해당 팟캐스트 플랫폼 파트너가 직접 업로드하고 제공합니다. 누군가가 귀하의 허락 없이 귀하의 저작물을 사용하고 있다고 생각되는 경우 여기에 설명된 절차를 따르실 수 있습니다 https://ko.player.fm/legal.

1+ y ago 3:53

MP3•에피소드 홈

Send us a text

Englisch Version - The German Version also exists but content differ minimal:
AI-generated News of the Day. The Pulse is an experiment to see if it is interesting to get the latest news in 5 min. small packages generated by an AI every day.
It is completely AI-generated. Only the content is curated. Carsten and I select suitable news items. After that, both the manuscript and the audio file are created completely automatically.
Accordingly, we cannot always guarantee accuracy.
Topic 1: Towards Large Language Models as Copilots for Theorem Proving in Lean https://arxiv.org/pdf/2404.12534.pdf
Topic 2: LongEmbed: Extending Embedding Models for Long Context Retrieval https://arxiv.org/abs/2404.12096
It would be great if you compare the German to the English version and give us feedback.

Support the show

244 에피소드