Type-level Programming, Proof-carrying Code, Agda, Type Safety
PICACO: Pluralistic In-Context Value Alignment of LLMs via Total Correlation Optimization
arxiv.org·2d
Loading...Loading more...
Type-level Programming, Proof-carrying Code, Agda, Type Safety