Login to filter by course Login to filter by course Reset
Enums: Pure DataCovers enums as a shorthand for case class hierarchies, focusing on modeling pure data.
Solver-Aided Programming for AllCovers Solver-Aided Programming, integrating SMT solvers for program verification, synthesis, and debugging, along with challenges in building solver-aided tools.
Probabilistic RetrievalCovers Probabilistic Information Retrieval, modeling relevance as a probability, query expansion, and automatic thesaurus generation.
Pretraining: Transformers & ModelsExplores pretraining models like BERT, T5, and GPT, discussing their training objectives and applications in natural language processing.