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

Send us Fan MailEnglisch 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.pdfTopic 2: LongEmbed: Extending Embedding Models for Long Context Retrieval https://arxiv.org/abs/2404.12096It would be great if you compare the German to the English version and give us feedback.Support the show