Experiences from Exporting Proof Assistant Libraries
Insights into exporting libraries from proof assistants, exploring challenges and solutions for interoperability between formal systems and knowledge management.
Encouraging Engineers to Write Their Own Documentation - Open Documentation Hour
Explore strategies to motivate engineers in documentation writing, covering framing, scope, assumptions, enforcement, education, collaboration, and overcoming common challenges in technical documentation.
Indexing and Retrieval in a Heterogeneous Formal Library
Explore advanced techniques for indexing and retrieving information in diverse formal libraries, enhancing research efficiency and knowledge management in mathematics.
Modular Solutions for Knowledge Management at Scale in RAG Systems
Discover how to build scalable RAG systems with modular document embedding pipelines, focusing on efficient processing, ingestion, and indexing for enterprise-level knowledge management.
Enhancing AI-Driven Quality Assurance with Prompt Engineering
Discover advanced prompt engineering techniques for enhancing quality assurance processes, from crafting effective prompts to implementing custom GPTs and documentation chatbots for improved testing automation.
Introduction to Retrieval Augmented Generation (RAG) - From Fundamentals to Implementation
Dive into RAG fundamentals and learn to implement AI-powered chatbots using vector databases, combining retrieval and generative models for enhanced information processing capabilities.
Delivering RAG at Scale with Azure AI Search - BRK104
Discover how AT&T built and implemented a large-scale RAG knowledge management platform using Azure AI Search, enabling hundreds of GenAI applications with quality measurement and diverse use cases.
Memolet - Reifying the Reuse of User-AI Conversational Memories
Explore innovative approaches to managing and reusing AI conversation histories through Memolet's framework for enhanced human-AI interactions and memory management.
NotebookLM Tutorial: Six Essential Use Cases for Research and Learning
Discover six innovative ways to leverage NotebookLM for research, study guides, personal coaching, health management, and career development while learning how to effectively organize and analyze information.