Dominik F. Farr

I am an AI researcher and mathematician interested in reinforcement learning and AI for mathematics.

A lot of my work is on GitHub.

Research Interests

• RL methods using formal languages (e.g. LEAN)
• Vision transformers
• Send me an email and find out more

Projects

• Simple Gemma: Single file implementation of Gemma 3 optimized for customizability and training on PyTorch.
• Image Autoencoder: Autoencoders and VAEs to learn compact representations of a large training dataset.
• GermanTransformer: An encoder-only transformer model to predict the correct articles of German nouns.
• Dairy Farm Monitoring System: Custom system for legacy dairy farms to capture and analyze data on cow movements and milking.
• Connect Four AI: Implemented a few different RL algorithms to compare their performance on Connect Four.
• notJustHtml-searchEngine: A web crawler that searches for malware binaries to build a dataset for further analysis.

Personal

I currently live in San Francisco. My wife, Sonja Farr, is also a mathematician.

Here is a list of jokes, none of which are good. You have been warned.

Contact