All Stories

  1. SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation

    Article • April 2025, Institute of Electrical & Electronics Engineers (IEEE)

    Junjie Sheng, Min Zhang

  2. Learning Cooperative Oversubscription for Cloud by Chance-Constrained Multi-Agent Reinforcement Learning

    Article • April 2023, ACM (Association for Computing Machinery)

    Junjie Sheng