publications

Peer-reviewed publications and preprints listed in reverse chronological order.

2026

  1. Divide and abstract: Autoformalization via decomposition and abstraction learning
    Marcus J. Min, Yeqi Gao, Wilson Sy, and 3 more authors
    In The Fourteenth International Conference on Learning Representations, 2026

2025

  1. Revisiting the Hanabi challenge: Open problems in ad-hoc coordination
    Wilson Sy, Eleonora Scognamiglio, Alice Gao, and 1 more author
    Aug 2025