publications

2026

  1. In submission
    Mechanizing Garbage Freedom for Perceus
    Ningning Xie and Jiawei Yu
    2026
    Manuscript submitted for publication
  2. FOCS 2026
    Stochastic Gradient Meets Randomized Rounding: New Algorithms for Node-Weighted Steiner Problems
    Joseph Koutsoutis, Jesse Lerner, Roie Levin, and Jiawei Yu
    In 67th IEEE Symposium on Foundations of Computer Science (FOCS), 2026
    To appear
    arXiv