I am a computational linguist and programmer who loves solving puzzles. I also enjoy creating puzzles—both for people and for large language models (LLMs).

As a student at Brown University, I studied computer science, mathematics, and linguistics.

My hobbies include rock climbing, memory techniques, chess, and puzzles (crosswords, sudoku, black-box number-guessing games, you name it!).

Currently, I am looking for a full-time position where I can grow my natural language processing and machine learning skills as well as develop LLMs or AI-based tools.

If you'd like to get in touch, you can email me at {firstname}n{lastname}{at}gmail{dot}com.

EHOP: A Dataset of Everyday NP-hard Optimization Problems

Alex Duchnowski, Ellie Pavlick, Alexander Koller

• LLM Reasoning
• Neurosymbolic Methods

Rubik's Cube Representation

A representation of the Rubik's Cube and some computer-verified proofs about its properties

• Computer-Assisted Proofs
• Lean 4