1 paper · 1 filter
Tianyu Wu
Automated discovery systems propose scientific explanations and test which to accept. Does passing a test establish the intended claim? We develop four executable operations for ch…