Human Judgment as a Specification

The article discusses the challenges of formalizing specifications for AI systems and proposes a tool called PICK to help humans and Large Language Models (LLMs) collaborate in the process.