קורסים

6076 קורסים

Neurosymbolic Synthesis for Trustworthy Machine Learning

Discover how neurosymbolic synthesis can enhance the reliability and trustworthiness of machine learning applications. This session, led by Osbert Bastani from the University of Pennsylvania, provides valuable insights into the integration of symbolic reasoning and neural networks. Watch this comprehensive course on YouTube, ideal for enthusi.
provider YouTube
pricing Free Video
duration 47 minutes
sessions On-Demand

Formal Models of Machine Teaching Without Collusion

Discover the key insights of formal models in machine teaching without the influence of collusion with Sandra Zilles, a renowned expert from the University of Regina. Engage with advanced concepts and theoretical perspectives on building trustworthy AI systems. Perfect for enthusiasts of artificial intelligence and computer science, this talk.
provider YouTube
pricing Free Video
duration 55 minutes
sessions On-Demand

Trustworthy AI for Legal Reasoning

Delve into the innovative world of AI as it intersects with legal reasoning. Ruzica Piskac from Yale University takes you on a journey to understand how artificial intelligence can be applied to the realm of legal reasoning, with a keen focus on ensuring trustworthiness. This insightful session, presented at the Simons Institute and availa.
provider YouTube
pricing Free Video
duration 1 hour 4 minutes
sessions On-Demand

Towards Reasoning with a Million Environment Models

Explore sophisticated methods for reasoning with vast environment models in AI systems, emphasizing the theoretical aspects of trustworthy artificial intelligence. Join the University and YouTube collaboration to deepen your understanding of these cutting-edge techniques. Categories: Artificial Intelligence Courses, Computer Science Courses
provider YouTube
pricing Free Video
duration 51 minutes
sessions On-Demand

Theoretical Aspects of Trustworthy AI

Theoretical Aspects of Trustworthy AI by Susmit Jha Explore the theoretical aspects of trustworthy AI in this insightful presentation by Susmit Jha from SRI International, a leading organization in technological innovations. Discover the key concepts and challenges that define the trustworthy AI landscape in this enlightening session. Avai.
provider YouTube
pricing Free Video
duration 50 minutes
sessions On-Demand

Language Model Guided Synthesis for Lifting

Explore how the integration of language models with program synthesis paves the way for automating the lifting of code to domain-specific languages. This approach enhances the efficiency of code generation processes when working with heterogeneous hardware, offering advancements in the fields of artificial intelligence and computer science.
provider YouTube
pricing Free Video
duration 48 minutes
sessions On-Demand

Synthesizing Pareto-optimal Interpretations of Black Box ML Models

Dive into the intricate process of synthesizing Pareto-optimal interpretations for black-box machine learning models. This course focuses on finding the perfect balance between the clarity of explainability metrics and the precision of model accuracy. Utilizing MaxSAT solving techniques, the content provides insights into achieving PAC-style.
provider YouTube
pricing Free Video
duration 49 minutes
sessions On-Demand

Prediction-Powered Inference for Trustworthy AI

Delve into the world of trustworthy AI with renowned expert Anastasios Angelopoulos as he explores the intricacies of prediction-powered inference methods. This engaging session focuses on the theoretical aspects crucial for developing AI systems that are not only effective but also reliable. Understand the statistical techniques that drive.
provider YouTube
pricing Free Video
duration 44 minutes
sessions On-Demand

How to Evaluate AI Agents - Part 2

Delve into the intricacies of evaluating AI agents with our comprehensive course, 'How to Evaluate AI Agents - Part 2.' This session focuses on modern evaluation techniques that are pivotal for assessing the effectiveness of AI agents. You will explore concepts like LLM-as-judge, code-based evaluation methods, and the significance of human.
provider YouTube
pricing Free Video
duration 50 minutes
sessions On-Demand