Search filters

List of works by Mingxuan Yuan

Batch Sequential Black-Box Optimization with Embedding Alignment Cells for Logic Synthesis

scientific article published on 22 December 2022

GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection

scientific article published on 25 August 2024

HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline

scientific article published on 04 August 2023

Multi-Task Learning for Routing Problem with Cross-Problem Zero-Shot Generalization

scientific article published on 25 August 2024

Orca: Scalable Temporal Graph Neural Network Training with Theoretical Guarantees

scientific article published on 30 May 2023

Paulina is supported by:

About Paulina

Help