Yang, H. A., Ho, M. K., & Thompson, B. D. (2026). Hypothesis-guided discovery of cognitive algorithms via program refinement. https://omanscience.com/en/articles/hypothesis-guided-discovery-of-cognitive-algorithms-via-program-refinement