works on
benchmarking 1generic programming 1numerical computing 1performance analysis 1symbolic computation 1

From the 1 of 8 linked papers with an AI index.

activity
20242026
collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2026

A Computational Toolkit for Engagement and Scalable Assessment in a Large Logic Course

Stephen M. Watt

Large required courses in theoretical computer science face two related challenges: helping students engage with abstract material and supporting reliable student assessment at sca…