Login to filter by course Login to filter by course Reset
Covers Probabilistic Information Retrieval, including Query Likelihood Model, Language Modeling, and smoothing techniques for non-occurring terms.
Covers enums as a shorthand for case class hierarchies, focusing on modeling pure data.
Covers Solver-Aided Programming, integrating SMT solvers for program verification, synthesis, and debugging, along with challenges in building solver-aided tools.
Covers probabilistic retrieval models, evaluation metrics, query likelihood, user relevance feedback, and query expansion.
Explores the significance of System Modeling Languages like OPM, SysML, and Modelica in modern Systems Engineering.
Covers Probabilistic Information Retrieval, modeling relevance as a probability, query expansion, and automatic thesaurus generation.
Explores pretraining models like BERT, T5, and GPT, discussing their training objectives and applications in natural language processing.
