Computer Science, Logic in Computer Science Formalizing Nondeterminism in Coq Semantics December 13, 2023
Computation and Language, Computer Science Aligning Language Models with Self-Generated Instructions November 27, 2023