कोर्स
6095 कोर्स
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
Solvers, Unite! A Simple Unified Semantics for Reasoning with Assurance and Agreement
Embark on a journey through unified semantics in this insightful course, shedding light on tackling complex reasoning problems. By utilizing logic rules, recursion, and aggregation, learn how diverse solver classes can merge to elevate problem-solving potential.
Offered through YouTube, this course falls under the categories of Artificial Int.
YouTube
Free Video
58 minutes
On-Demand
AI for Biology - MIT 6.S191 Lecture 10
Dive into the fascinating world of artificial intelligence tailored for biological applications in this exclusive MIT lecture. Led by Ava Amini, Principal Research Scientist at Microsoft, this session is part of the esteemed MIT 6.S191 series, focusing on the integration of AI in biology. Perfect for enthusiasts looking to expand their unders.
YouTube
Free Video
57 minutes
On-Demand
Best Frameworks to Learn for Building AI Agents and Agentic AI
Join us on YouTube to uncover the best frameworks for building AI agents. Learn how to create agentic AI applications with a clear and structured roadmap in the ever-evolving field of artificial intelligence. Perfect for enthusiasts of AI and computer science.
Understand the importance of AI agents and agentic AI in modern technology.
Gai.
YouTube
Free Video
13 minutes
On-Demand
YouTube
Free Video
13 minutes
On-Demand
How to Use MCP Servers with Claude Desktop - Real-Time AI Integration
Unlock the potential of real-time AI integration by learning how to effectively connect MCP servers with Claude Desktop. Our detailed guide walks you through each step, ensuring you gain a solid understanding of key terms and methodologies employed for reliable AI responses and data analysis.
Perfect for those eager to delve into the world o.
YouTube
Free Video
13 minutes
On-Demand