Research on safe, trustworthy, and verifiable AI systems.
Selected references on doing useful technical work.