Kurse
6076 Kurse
Building Adaptive and Resilient AI
Embark on a journey into the world of artificial intelligence with Zhenyi Wang from the University of Maryland. Discover innovative strategies and methodologies for creating more adaptive and resilient AI systems. This insightful exploration will delve into the latest advancements and techniques aimed at enhancing the robustness and adaptabil.
YouTube
Free Video
55 minutes
On-Demand
YouTube
Free Video
27 minutes
On-Demand
Reality Check: AI Won't Magically Save Us
Explore the common misconceptions about artificial intelligence and learn why it's not a one-size-fits-all solution for humanity's challenges. This course provides insights into the realistic capabilities and limitations of AI, helping you understand what to expect from this rapidly evolving technology.
Brought to you by the experts at YouTube.
YouTube
Free Video
11 minutes
On-Demand
Experimenting with Foundation Models: Accessible Ways to Learn About LLMs and AI
Uncover cost-effective techniques to delve into Foundation Models and Large Language Models (LLMs) using Amazon Bedrock along with Python. Enhance your practical AI skills through insightful demos and tutorials presented by AWS Hero Faye Ellis. Additionally, seize the opportunity to learn about the in-demand AI skills vital for 2025.
This ev.
YouTube
Free Video
49 minutes
On-Demand
Trustworthy and Continually Adaptable Multimodal AI Systems
Join Jaehong Yoon from UNC Chapel Hill as he delves into the creation of trustworthy multimodal AI systems that exhibit the ability to adapt continuously. This insightful presentation will enhance your understanding of cutting-edge AI technologies and their real-world applications. Perfect for enthusiasts and professionals interested in the evo.
YouTube
Free Video
1 hour 20 minutes
On-Demand
YouTube
Free Video
58 minutes
On-Demand
VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search
Join us as we delve into VerMCTS, a groundbreaking technique in program synthesis that brings together the power of verifiers, large language models (LLMs), and Monte Carlo Tree Search (MCTS). This cutting-edge approach focuses on producing reliable and validated programs in languages like Dafny and Coq. Witness how VerMCTS outperforms convent.
YouTube
Free Video
21 minutes
On-Demand
Automated Playing of Survival Video Games with Commonsense Reasoning
Immerse yourself in the fascinating intersection of artificial intelligence and gaming as we explore how answer set programming combined with commonsense reasoning can enhance automated gameplay in the popular survival game Don't Starve. This course delves into developing a sophisticated agent capable of outperforming novice players through.
YouTube
Free Video
22 minutes
On-Demand
A Weighted Bipolar Argumentation Framework and its ASP-based Implementation
Join us as we explore a groundbreaking approach to argumentation with the Weighted Bipolar Argumentation Framework (WBAF). This advanced system adeptly manages both attack and support relationships between arguments by incorporating argument weights, providing a more nuanced understanding of the dynamics involved.
Gain insights into the ASP-ba.
YouTube
Free Video
23 minutes
On-Demand
Finding Good Programs by Avoiding Bad Ones
Finding Good Programs by Avoiding Bad Ones
Delve into the innovative field of program synthesis by learning how to prove unrealizability, an essential concept that bridges formal methods with LLM-based code generation. This course illustrates how these techniques are paving the way for more sophisticated AI-assisted programming solutions. J.
YouTube
Free Video
1 hour 4 minutes
On-Demand
Learning Agents Using Q-Learning: Theory and Code - Agentic AI Course Lecture 13
Join us in Lecture 13 of the Agentic AI Course as we delve into the world of Q-Learning. This session provides a comprehensive look at reinforcement learning through detailed theoretical insights and practical Python implementation. You will gain essential knowledge about learning agents and explore the intricacies of Q-tables and epsilon.
YouTube
Free Video
39 minutes
On-Demand
Automated Program Refinement: Guide and Verify Code Large Language Model with Refinement Calculus
Join the forefront of technology with Refine4LLM, a revolutionary method that guides and verifies code generated by Large Language Models. Leveraging program refinement techniques, this approach not only ensures correctness but also aims to make formal methods more accessible to a wider audience. Delve into the intersection of AI and computer.
YouTube
Free Video
19 minutes
On-Demand