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
How open source fixes security bugs in silence
empirical study
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