Cursussen
18729 Cursussen
Some Remarks About Machine Learning and Unnatural Proving
Explore machine learning applications in automated theorem proving and discover how AI transforms mathematical proof generation and verification techniques.
Organizing Large Proofs - Techniques, Tools, and Future
Discover advanced techniques and tools for structuring complex mathematical proofs, exploring current methods and future developments in proof organization.
RAG Demystified
Discover how to build an AI-powered event recommendation engine using Ruby, transforming a simple side project into an intelligent discovery platform through practical implementation.
Living Autonomously - Deciding What Should and Shouldn't Be Left to Autonomous Systems
Explore the future of autonomous systems as experts debate what decisions should remain human versus machine-controlled in our increasingly automated world.
Training LTX-2 - How to Fine-tune a LoRA for Character Consistency
Master fine-tuning LTX-2 video generation model with LoRA techniques for consistent character representation using Yoda as a test case in this hands-on tutorial.
Machine-Learning Accelerated Search for New Superconductors
Discover how machine learning accelerates the search for new superconducting materials through advanced computational methods and predictive modeling techniques.
Teaching AI to Terraform Using Model Context Protocol - So We Don't Have To
Discover how to teach AI to write Terraform configurations using Model Context Protocol servers, with live demos of AI-powered infrastructure planning and automation.
AI in Neurosurgery - Foundation Models for Brain Tumor Detection
Discover how AI foundation models revolutionize brain tumor detection in neurosurgery through Dr. Todd Hollon's groundbreaking research and FastGlioma development.
Can We Save the Middle Class? - AI Impact on Middle-Class Economics and Growth Strategies
Explore how AI and economic policies impact middle-class growth, job security, and strategies for building economies from the middle out with global leaders.
Is ASEAN Moving Fast Enough? - Geopolitical Challenges and Digital Transformation in Southeast Asia
Explore ASEAN's growth challenges amid geopolitical shifts, climate pressures, and tech change. Discover how AI and digital infrastructure can drive inclusive economic development.
Introduction to Programming with Python
Master Python programming fundamentals through hands-on projects covering data types, control structures, functions, file handling, and error management in this comprehensive specialization.
Introduction to Programming for AI
Discover fundamental programming concepts for AI projects including language selection, frameworks, LLMs, RAG, MCP, and AI agents in this comprehensive guide.