Reza Ramji
Hi — I'm Reza, an undergraduate studying Classics at Princeton. I work across ancient history, math, historical monetary policy, numismatics, and machine learning, usually where a couple of them overlap.
Reach me at rezaramji@princeton.edu or on LinkedIn.
Projects
Can an AI rewrite Euclid's proofs into Lean 4, a language a computer can mechanically check? A controlled study — three English translations against three prompt styles — found the prompt's example style mattered far more than the translation, and that a small local model quietly memorized answers, so results have to be tested for contamination.
Euclid's Elements, Book I, rebuilt as an interactive reader: every proposition is annotated with the exact definitions, postulates, and earlier theorems it depends on, in Greek and English — the logical skeleton of the Elements made visible, and a testbed for checking each step with AI.
A benchmark for whether a language model can propose business ideas that are actually feasible — not just the safe, obvious ones. Each idea is scored by a panel of model judges on feasibility, impact, and originality, with bootstrap confidence intervals and a check that judges don't simply favor their own outputs.
Princeton's Logion suggests restorations for missing or garbled words in damaged ancient Greek. It ranked candidates by plain edit distance, treating every letter swap as equally likely; this weights swaps by how easily letters are actually confused — by sound or shape — which matches how scribes really err, and does measurably better on a test over Photius.
llm-eval
sourceA small A/B harness for comparing language models across providers, built to re-test a paper's claim about how models recall names from a list — which still holds up on current models.
A 3D map of US public companies built from ~17 years of SEC 10-K filings (~12k companies), placed by how their business descriptions cluster. Roll the die next to the search bar to drop onto a strange one.
Chain audio
openLive USDC transfers across nine blockchains, turned into sound the moment they settle — a way to hear on-chain activity instead of reading it.
EdgarInsights
openThe same SEC filing data as a flat, readable dashboard — broken out by metric and year, with short notes on what stands out.
MCP ingest
sourceA bulk-ingest tool for Claude Code that runs document agents in parallel with prompt caching — about 89% cheaper than running them one at a time.
Writing
Some essays on numismatics, monetary history, and math are on the way.
See Also
- Alex — newspaper boy
- me – in the newspaper!
- wojtek – the bear
- Nate — a photographer primarily
- math jokes – wonderous to behold
- Julian – a philosopher i met once
icon is this coin from Princeton's collection: the reverse of a Hadrian denarius showing Roma holding victory
