Concepedia

Yuxiang Lei

YL

Statistics

Publications

2

Citations

27

H-Index

2

Active since

2022

Affiliations

Georgia Institute of Technology(Current)

Yuxiang Lei is an author at Georgia Institute of Technology specializing in automated reasoning, engineering, and computational linguistics.

ORCID

Top concepts

Publications per year

2022–2023

2

Publications

2

Taming transitive redundancy for context-free language reachability

Yuxiang Lei, Yulei Sui, Shuo Ding et al. · Proceedings of the ACM on Programming Languages · 2022 · 14 citations · Full text

, , +23

Recursive State Machine Guided Graph Folding for Context-Free Language Reachability

Yuxiang Lei, Yulei Sui, Shin Hwei Tan et al. · Proceedings of the ACM on Programming Languages · 2023 · 13 citations · Full text

, , +22

1–2 of 2