While Large Language Models (LLMs) excel at knowledge reasoning tasks, they face significant challenges in formal mathematical theorem proving due to data scarcity and strict logical precision requirements. This talk introduces the DeepSeek-Prover series, highlighting how automated dataset construction and reasoning annotations have effectively transferred knowledge from data-rich to data-scarce domains, achieving state-of-the-art results in […]

Join us for a talk by Professor Wolfgang Lehner, a leader in database technology and systems architecture at TU Dresden. As the head of the Database Technology Group, Prof. Lehner will present insights from his team’s work on improving query optimizers. He will discuss TONIC, a new approach to cardinality estimation-free query optimization, and FASTgres, […]

Join us for an exciting talk on GPU-accelerated databases with Bowen Wu from ETH Zurich (Systems Group). He will present Eiger, a cutting-edge query engine built for high-performance analytics. Discover how this work is advancing database efficiency and unlocking new optimizations for modern computing. Don’t miss this opportunity! Title: Eiger: An efficient GPU-based query engine […]