publications

publications by categories in reversed chronological order. generated by jekyll-scholar.

2026

  1. OPINE-World: Programmatic World Modeling with Ontology-error-Prioritized Interactive Exploration for ARC-AGI-3
    David Courtis, Wenhao Li, and Scott Sanner
    arXiv preprint, 2026
  2. Structure-Aware Graph Hypernetworks for Neural Program Synthesis
    Wenhao Li, Yudong Xu, Elias Boutros Khalil, and 1 more author
    In The Fourteenth International Conference on Learning Representations, 2026
  3. Certifiable Boolean Reasoning Is Universal
    Wenhao Li, Anastasis Kratsios, Hrad Ghoukasian, and 1 more author
    arXiv preprint, 2026
  4. Large Neighborhood Search meets Iterative Neural Constraint Heuristics
    Yudong Xu, Wenhao Li, Scott Sanner, and 1 more author
    In The 23rd International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2026

2025

  1. Tackling the Abstraction and Reasoning Corpus with Vision Transformers: the Importance of 2D Representation, Positions, and Objects
    Wenhao Li, Yudong Xu, Scott Sanner, and 1 more author
    Transactions on Machine Learning Research, 2025
  2. End-to-End Synthesis of Neural Programs in Weight Space
    Wenhao Li, Yudong Xu, Elias Boutros Khalil, and 1 more author
    In Workshop on Neural Network Weights as a New Data Modality, 2025
  3. Self-Supervised Transformers as Iterative Solution Improvers for Constraint Satisfaction
    Yudong Xu, Wenhao Li, Scott Sanner, and 1 more author
    In Forty-second International Conference on Machine Learning, 2025

2024

  1. LLMs and the Abstraction and Reasoning Corpus: Successes, Failures, and the Importance of Object-based Representations
    Yudong Xu, Wenhao Li, Pashootan Vaezipoor, and 2 more authors
    Transactions on Machine Learning Research, 2024