Reza Ramji

Reza Ramji

Reza Ramji

Hi! I'm Reza, and I'm interested in ancient history, math, historical monetary policy, numismatics, and machine learning; currently an undergrad @ princeton classics

Reach me at rezaramji@princeton.edu or on LinkedIn.

Projects

Euclid autoformalization

read · PDF

I tested how different translations and promptings impact an AI/LLMs ability to take Euclid's geometric proofs(book I) into Lean 4 (A checkable math programming language). I found the prompt's example style mattered far more than the translation, and learned a lot about testing for contamination and designing rigorous tests.

Youklid

open · source

An AI-annotated reader of Euclid's Elements Book I to find new relationships of ideas in the text; every proposition is annotated with the exact dependencies. The reader also supports Greek and English. I really enjoyed making AIs perform and verify logical steps.

Logion with weighted Levenshtein

read · PDF · source

Princeton's Logion suggests restorations for damaged ancient Greek texts; however, it treats every letter swap as equally likely. I tested an improvement swap based on how easily scribes would actually confuse letters. This improvement performed significantly better in a short test on Photius.

CASE-Bench

read · source

A benchmark for whether a language model can propose creative good ideas. Each idea is scored by a panel of model judges on feasibility, impact, and originality. The benchmark is based on consulting prep cases because they were readily available and included pre-scored, uncreative/basic ideas.

llm-eval

source

A small A/B harness for comparing language models across providers, built to verify this paper, which still seems to work.

EdgarVis

open · source

A 3D map of US public companies built from ~17 years of public SEC 10-K filings (~12k companies), built to visualize interesting clustering patterns and aberrations in businesses. Highly recommend rolling the dice next to the search bar to find outlier/interesting companies and the insights subpage for a more traditional set of visualizations.

Chain audio

open

Live USDC transfers across nine blockchains, turned into sound. Inspired by listen to wikipedia, a new and more natural way to understand this data.

MCP ingest

source

A bulk-ingest tool for Claude Code that runs document search agents in parallel with prompt caching; testing showed 89% cheaper than running as subagents within a Claude Code session.

N.B. the project PDFs and Scrollytells are read over for accuracy but AI-generated; please don't hesitate to contact me with any in-depth questions on any of these!

Selected Writing

Freedom in Thucydidean Athens and Sparta (Pyrphoros 2025)

Wrote a bit about Thucydides's differing depictions of freedom in individualistic ancient Athens and communalist Sparta, key exempla in political history which echo throughout scholarship and statecraft for over two millennia.

More to come...

See Also

The icon is the reverse of a Hadrian denarius (Roman silver coin) showing Roma holding victory, which I cataloged and photographed for Princeton University Library

 Reverse of a Hadrian denarius showing a seated figure, legend P M TR P COS III