Solving inductive reasoning problems in mathematics: not-so-trivial pursuit. - Lisa A. Haverty; Kenneth R. Koedinger; David Klahr; Martha W. Alibali (Cogn. Sci., 2000)

Iterative Stratified Testing and Measurement for Automated Model Updates. - Elizabeth Dekeyser; Nicholas Comment; Shermin Pei; Rajat Kumar; Shruti Rai; Fengtao Wu; Lisa A. Haverty; Kanna Shimizu (EMNLP (Industry Track), 2022)