Evolutionary program synthesis for abstract reasoning
ongoing
Evolving symbolic programs that discover abstract transformation rules on the ARC benchmark — reasoning that is transparent, auditable, and human-verifiable. Research Fellow with Dr. Ting Hu.
Queen’s University · Feb 2026 — present
Are LLMs faithful evolutionary operators?
in prep
Studying the faithfulness of LLMs used as variation operators in evolutionary algorithms, probed through the game Contexto.
paper in preparation
Clustering that explains itself
in prep
An interpretable clustering algorithm — groupings you can defend, not just plot.
paper in preparation
How open source fixes security bugs in silence
ms. targeting EMSE
Empirical study of 581 vulnerability lifecycles across 600+ repositories: 58.5% of fixes violated silent-fix protocols, with a median 33-day gap between release and disclosure. With Dr. Yuan Tian.
Queen’s University · May — Aug 2025