Tutorials

Defining Domain-Specific Languages

• Tutorial 1.1: Defining Types and Functions in a Domain-Specific Language
• Tutorial 1.2: Executing Programs in a Domain-Specific Language
• Tutorial 1.3: Using Tensor-Typed Value Objects and States in a DSL
• Tutorial 1.4: Use Enumerative Search to Learn a Function
• Tutorial 1.5: Using Python Syntax to Write FOL Expressions

Defining and Using Combinatory Categorial Grammars

• Tutorial 2.1: Basic Definition of a Combinatory Categorial Grammar
• Tutorial 2.2: Learning Lexicon Entries in a Combinatory Categorial Grammar
• Tutorial 2.3: Basics of Neuro-Symbolic Combinatory Categorial Grammar
• Tutorial 2.4: Learning Lexicon Weights of NCCGs

Defining and Using PDSketch for Planning

• Tutorial 3.1: Basic Definition of a Planning Domain and Discrete Search
• Tutorial 3.2: Solving Mixed Discrete-Continuous Planning with Optimistic Search
• Tutorial 3.3: Translate a PDSketch Planning Problem into STRIPS
• Tutorial 3.4: Doing PDSketch with STRIPS-Style Heuristics
• Tutorial 3.5: Advanced Features in PDSketch

Relational Features and Relational Neural Networks

• Tutorial 4.1: Relational Representations and Inductive Learning

Neural Symbolic Concept Learning

• Tutorial 5.1: Logic-Enhanced Foundation Models (LEFT)