liyuz.com
~/
~/ideas
Alignment by Proof: An Alternative Method
A proposal for scalable, interpretable alignment of AI systems using proof engines.
2025·09
← cd ~