Search papers, labs, and topics across Lattice.
Singapore Management University
2
0
4
As AI systems become more capable and opaque, the role of symbolic methods shifts from computation to essential interfaces for human oversight and trust.
Alignment isn't enough: truly safe AI demands robust runtime controllability, which current methods often fail to provide.
