Skip to content
Log in
Sponsored Have an interesting project or opportunity? → Hire me ↗
Sponsored Design Multi-Agent AI Systems Using MCP and A2A: Engineer your own Pyt Design Multi-Agent AI Systems Using MCP and A2A: Engineer your own Pyt

Author

Zhengyang Lu

h-index 2 View on Semantic Scholar

We have 1 of 8 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Conference 2026

Learning Unified Graph and Language Representations for SMT Algorithm Selection

Evaluated across nine SMT logics, SMT-Select consistently outperforms existing selectors and SMT-COMP winning solvers and closes at least 30% of the performance gap between the competition winner and the virtual best solver (VBS).

Zhengyang Lu, Paul Sarnighausen-Cahn, Jiahao Chen et al. · 0 citations