Yunsheng Bai

Identifiers

No identifiers captured yet.

Papers (3)

1. FVRuleLearner: Operator-Level Reasoning Tree (OP-Tree)-Based Rules Learning for Formal Verification cs.AR · 2026 · author #3
2. Unsupervised Inductive Graph-Level Representation Learning via Graph-Graph Proximity cs.LG · 2019 · author #1
3. Convolutional Set Matching for Graph Similarity cs.LG · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Hao Ding 2 shared papers
• Wei Wang 2 shared papers
• Yizhou Sun 2 shared papers
• Agustin Marinovic 1 shared papers
• Chia-Tung Ho 1 shared papers
• Cunxi Yu 1 shared papers
• Deming Chen 1 shared papers
• Haoxing Ren 1 shared papers
• Ken Gu 1 shared papers
• Lily Jiaxin Wan 1 shared papers
• Ting Chen 1 shared papers
• Yang Qiao 1 shared papers