C3E 2024 Suggested Reading

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)