Skip to content

jacobarrio/tensor-logic-guide

Folders and files

NameName
Last commit message
Last commit date

Latest commit

ย 

History

1 Commit
ย 
ย 
ย 
ย 

Repository files navigation

๐Ÿง  Tensor Logic Interactive Guide

An interactive learning resource for understanding Tensor Logic: The Language of AI by Pedro Domingos (2025).

๐ŸŽฏ What is This?

This is a comprehensive, interactive guide designed for entry-level RL engineers who want to understand the groundbreaking Tensor Logic paper. It unifies neural networks and symbolic AI into a single programming language.

๐Ÿš€ View the Guide

๐Ÿ“– Open Interactive Guide โ†’

โœจ Features

  • ๐ŸŽจ Beautiful, interactive web interface
  • ๐Ÿ“Š Live demos and visualizations
  • ๐Ÿ“ˆ Progress tracking
  • ๐Ÿงช Interactive exercises
  • ๐Ÿ“ Knowledge check quiz
  • ๐Ÿ—บ๏ธ 12-week learning roadmap
  • ๐ŸŽฎ RL application examples

๐Ÿ“š What You'll Learn

  • Einstein Summation: The foundation of tensor operations
  • Logic Programming: Datalog and symbolic reasoning
  • The Unification: How logic rules = tensor operations
  • Embedding Space Reasoning: Temperature-controlled inference
  • RL Applications: Safe RL, explainable policies, sample-efficient learning

๐ŸŽ“ Who Is This For?

This guide is specifically designed for:

  • RL engineers (entry level)
  • Deep learning practitioners curious about symbolic AI
  • Researchers interested in neurosymbolic AI
  • Anyone who knows PyTorch and wants to learn tensor logic

๐Ÿ“‹ Prerequisites

Must Have:

  • Basic Python and PyTorch
  • Understanding of tensors and matrix operations
  • Neural network basics (MLPs, backprop)

Nice to Have:

  • Familiarity with torch.einsum()
  • Graph neural networks
  • Basic logic/reasoning concepts

๐Ÿ› ๏ธ Additional Resources

This repository also includes:

  • Comprehensive Markdown guide (60+ pages)
  • Quick reference cheat sheet
  • Python starter code with 5 demos

๐Ÿ“– About the Paper

"Tensor Logic: The Language of AI" by Pedro Domingos (2025)

๐Ÿค Contributing

Found a typo? Have suggestions? Want to add more examples?

  • Open an issue
  • Submit a pull request
  • Share your feedback!

๐Ÿ“œ License

This educational resource is provided for learning purposes. The original paper belongs to its author.

๐Ÿ™ Acknowledgments

Based on the excellent work by Pedro Domingos at the University of Washington.


Created for the AI/RL community

Start learning now: Open the Interactive Guide โ†’

About

Interactive guide to understanding Tensor Logic - designed for RL engineers

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Contributors 2

  •  
  •  

Languages