Tag
The Incredible Proof Machine is a visual tool for performing proofs in various logics by dragging and connecting blocks. It aims to make theorem proving accessible and fun without needing syntax of traditional provers.
The article introduces Tantalus, a free platform for learning how to secure agentic AI systems against indirect prompt injection and data exfiltration through realistic challenges.
Presents an open, offline word-level digital reader of the Prasthānatrayī with Śaṅkara's Bhāṣya, featuring clickable word analysis, concordance, and a hybrid pipeline using rule-based and LLM-assisted methods.
Mojo Quest is a browser-based game launched by Modular to help users learn Mojo syntax by completing engineering tickets for a fictional robotics company.
An interactive, 3D, step-by-step visualizer that shows a token moving through every transformer layer, from embedding to output, for free.
A project that visualizes gradient descent for different optimization algorithms, useful for understanding how optimizers work in machine learning.
Math-To-Manim is an open-source tool that automatically generates complete math and physics teaching animations from a single sentence description, including LaTeX formulas and camera design, and comes with 55+ examples, significantly lowering the production barrier.
A developer built 10 gamified, interactive slide decks within the AgentSwarms platform to teach Agentic AI concepts like ReAct loops, multi-agent swarms, and production RAG, using active recall instead of passive reading.
Introduces C.K. Ogden's Basic English (850 core words) from 1930, and promotes a free learning website built with Codex based on this concept, offering word cards, pronunciation, and synonym distinctions.
This paper introduces a jigsaw puzzle designed with comic-based infographics to promote AI literacy, explaining the workings, capabilities, limitations, and societal implications of generative AI like ChatGPT in an engaging, hands-on format.
Oboe is a new AI-powered learning tool that uses guided conversations and real-time adjustments to help users learn effectively, in contrast to standard LLMs.
This interactive tool visualizes the mathematical underpinnings of transformer models through dataflow graphs, covering architectures from GPT-2 to Qwen 3.6 and various attention mechanisms.