Projects
Hanzi Writer
Chinese character stroke order animations and practice quizzes
AMR Logic Converter
Convert Abstract Meaning Representation (AMR) into first-order logic
Tensor Theorem Prover
First-order theorem prover which supports embedding unification
Curve Matcher
Curve matching using Fréchet distance and Procrustes analysis in JS
Wordsheet
Online language-learning exercise creator
Word2Vec Gender Bias Explorer
Explore gender bias in word vectors
Reddit Words
What did Spacy’s sense2vec 2019 word vectors learn from Reddit?