Liyu Zerihun
Undergraduate — Computer Science, UCLA
Focus areas: Machine Learning, Automata Theory, Systems Design
Contact: liyulg0@gmail.com
Projects
- Automa graph-based programming language for state transition computation
- Rituals app for tracking and improving daily habits
- EVE my autonomous AI developer that implements, tests, learns from failures, and iterates on real codebases
Other Work
Technical Ideas
-
Alignment by Proof: An Alternative Method
A proposal for scalable, interpretable alignment of AI systems using proof engines—moving beyond black-box reward models to verifiable, logic-driven reasoning.
Writing
Life Goals
About
I'm an undergraduate CS student at UCLA interested in machine learning, automata, and systems. I like using mathematics as a language for understanding and building intelligent systems.
