Close

Presenter

<
Zhiyuan HE
The Chinese University of Hong Kong
Presentations
Late Breaking Results
SAT-Helper: A Multi-Agent System for Adaptive Optimizing Large-Scale Conjunctive Normal Form
5:48pm - 5:51pm PDT Monday, July 27 Exhibit Hall
Research Manuscript
PCBgen3D: A Self-Correcting Graph-Based MLLM Framework for Automated PCB 3D Models Generation
1:30pm - 1:42pm PDT Monday, July 27 Mtg Room 101A
AI
AI2-I. AI/ML Algorithms and Models