1 paper
Jin-Guo Liu, Shang-Qi Lu, Xin-Ran Shi +2
This paper is an experience report on a 13-week Test-Driven, AI-Assisted (TDAA) redesign of DSAA 3071, Theory of Computation, an upper-level course at the Hong Kong University of S…