Bio
I’m a graduate student studying computational linguistics. I’m interested in low-resource languages, formal logic, and functional programming.
Projects
This section will be filled in as I collect my code :)
- ViPER: A simple functional programming language with unit testing. Compiler hosted in
OCamltargetingx86_64assembly with aCruntime. - تنوع: An Arabic dialect identification system. Trained on 20k annotated tweets in five Arabic dialect groups. Achieves 95% accuracy with logistic regression.
- Logic-Constrained Prompting System: Parse stories to formal logic to enforce consistency in LLM generations. Can constrain generation to produce narratives, and evaluate existing claims for logical consistency using the Z3 SAT solver. Primarily targeted for small (<3B) LLMs.
- NLP Games: A collection of toys illustrating various NLP tools and concepts. Includes Twenty Questions using WordNet, and an ontological Connections generator.
Hobbies
- I enjoy word games, in particular constructing and solving crossword puzzles.
- I love learning languages. Some of my favorites are Finnish, Chinese, Scottish Gaelic, and Sumerian.
- In spite of my general clumsiness, I’ve learned a handful of yo-yo tricks.
- I’m in the high 99th percentile of users on JetPunk.