Group-Assign: Type Theoretic Framework for Human AI Orchestration

*Aik Beng Ng, Simon See, Zhangsheng Lai and Shaowei Lin*
