Skip to content

Latest commit

 

History

History

notebooks

Running notebooks

To run the notebooks, clone the repo:

git clone git@github.com:awni/automata_ml.git

Then install GTN, the software I use for constructing graphs:

pip install gtn

Then install GraphViz, which is required for visualizing the graphs.

From this directory (notebooks/), launch the Jupyter server:

jupyter notebook

This should open a browser window from which you can execute all of the notebooks.

A zip archive is available with all the notebooks and figures pre-built. Alternatively the figures can be constructed by executing from the root of the repo:

bash figures/gen_figs.sh

The remainder will be constructed as the notebook is executed.

Exporting as HTML

For proper style when exporting HTML, put custom.css in .jupyter/custom/.