Generative AI for Specifications

1. Clover: Closed-Loop Verifiable Code Generation (~19 pages)
2. Formalizing Natural Language Intent into Program Specifications via Large Language Models (~18 pages)
3. PwR: Exploring the Role of Representations in Conversational Programming (~21 pages)
4. Generating formal models (specifications) in UCLID5 from natural language (~9 pages)
5. Generating formal models in Scenic, a probabilistic programming language, from natural language (~9 pages)

Sociotechnical Aspects of Human-AI Systems

1. "Beyond Human Deep Learning" (~26 pages) provides a philosophical perspective on the difficulty of describing algorithms with our current language. The authors present a foundation for future development on how to overcome incommensurable language. 
2. "Measures for explainable AI" (~ 15 pages) considers the use of cognitive models to improve explainable AI.
3. "An intelligent sociotechnical systems" (~10 pages) presents a sociotechnical perspective on designing human-centered AI.
4. "From Teams to Teamness: Future Directions in the Science of Team Cognition" (~10 pages)

5. "Team Interaction Strategies for Human–Autonomy Teaming in Next Generation Combat Vehicles" (~5 pages)

   Extra credit reading:

6. Position: Levels of AGI for Operationalizing Progress on the Path to AGI (~10 pages)