Crowd-scale interactive formal reasoning and analytics.

Ethan Fast, Colleen Lee, Alex Aiken, Michael S. Bernstein, Daphne Koller, Eric Smith

Browse the full UIST paper archive.