Come Clean
Evaluation framework testing whether coding agents disclose accessing restricted information in their self-reports, even when that access is what let them complete an otherwise unsolvable task.
Projects
AI Safety & Security
AgentAudit
Static security analysis tool for AI coding agent sessions. Analyzes tool calls, including file operations, shell commands, and external requests, against configurable rule-based patterns to identify suspicious activity.
NeedToKnow-Bench
A benchmark measuring whether LLM assistants can complete tasks using privileged context without disclosing sensitive values the user does not need to know.
Mathematics
Discrete Hopf Fibrations Gallery
Visual gallery demonstrating polar orbit polytopes for cyclic-type tubical groups, based on research into understanding 4-dimensional point groups through discrete Hopf fibrations.
4D Point Groups Computation Scripts
Scripts for the article Towards a Geometric Understanding of the 4-Dimensional Point Groups.
Graph Theory in Arabic
Interactive lessons in graph theory in Arabic, adapted from d3graphTheory to make the material accessible to Arabic-speaking learners.
Hardware Hacks
Kindle Clock
Transforms an idle Kindle 4 Non-Touch into a stylish clock display.
Kindle Network Scanner
Transforms an idle Kindle 4 Non-Touch into a network scanner.
Open Source Contributions
Contributor to SageMath
Apr 2019 — Jul 2022- Contributed to the open-source mathematics software system SageMath.
- Contributed to the Polyhedron library for computational geometry.