All current Informatik courses in 2024
3150 Kurse
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
Document Processing and Retrieval with LangChain in Python
Delve into the fascinating world of document intelligence through the "Document Processing and Retrieval with LangChain in Python" course. Offered by CodeSignal, this course empowers you to harness the capabilities of LangChain in Python. Discover how to efficiently load, split, and embed documents, utilizing advanced techniques to perform sim.
CodeSignal
Free Certificate
Not Specified
On-Demand
LangChain Chat Essentials in Python
Unlock the potential of conversational AI with our course, "LangChain Chat Essentials in Python." This course guides you from fundamental message exchanges to intricate conversations management techniques. Dive deep into customizing AI responses to create innovative Natural Language Processing (NLP) applications that set your projects apart..
CodeSignal
Free Certificate
Not Specified
On-Demand
Q-Learning Unleashed: Building Intelligent Agents
Join CodeSignal for an exciting course titled Q-Learning Unleashed: Building Intelligent Agents. This course will take you from the basics to advanced implementation of Q-learning, focusing on developing intelligent agents capable of exploring and making decisions based on dynamic policies.
Whether you're new to artificial intelligence or lo.
CodeSignal
Free Certificate
Not Specified
On-Demand
Creating Images with Gemini's Imagen and Flask
Join our comprehensive course on AI image generation with Google's Gemini API and Imagen model. This course covers everything from setting up the client to crafting effective prompts and efficiently managing generated images using Flask. Ideal for those looking to enhance their skills in artificial intelligence and computer science. Provided.
CodeSignal
Free Certificate
Not Specified
On-Demand
Building a RAG-Powered Chatbot with LangChain and Python
Join us to delve into the world of RAG-powered chatbots with our special course using LangChain and Python. This course is brought to you by CodeSignal and focuses on integrating crucial elements like document processing, contextual retrieval, and conversational memory to ensure precise information delivery. Expand your knowledge in artific.
CodeSignal
Free Certificate
Not Specified
On-Demand