Skip to main content
Ctrl+K

Project Concept documentation

  • Home Page
  • Jupyter Tutorials
  • API Reference
  • Home Page
  • Jupyter Tutorials
  • API Reference

Section Navigation

  • 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)
  • Tutorials

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)

© Copyright 2022, Jiayuan Mao.

Created using Sphinx 8.1.3.

Built with the PyData Sphinx Theme 0.15.4.