실시간 유형 이론 기반 컴퓨팅 공유지에서의 신뢰할 수 있는 인간-AI 협업

Trustworthy Human-AI Collab in a Live Type-Theoretic Computational Commons