Picture for Hui-Ling Zhen

Hui-Ling Zhen

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

Feb 11, 2023
Yang Li, Xinyan Chen, Wenxuan Guo, Xijun Li, Wanqian Luo, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Junchi Yan

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

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

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

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

* Not all authors allow to make it on arXiv at this moment

Access Paper or Ask Questions

Pareto Multi-Task Learning

Dec 30, 2019
Xi Lin, Hui-Ling Zhen, Zhenhua Li, Qingfu Zhang, Sam Kwong

Figure 1 for Pareto Multi-Task Learning

Figure 2 for Pareto Multi-Task Learning

Figure 3 for Pareto Multi-Task Learning

Figure 4 for Pareto Multi-Task Learning

* 33rd Conference on Neural Information Processing Systems (NeurIPS 2019), Vancouver, Canada

Access Paper or Ask Questions