1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.SE2024
SoK: Detection and Repair of Accessibility Issues
Liming Nie, Hao Liu, Jing Sun +6
There is an increasing global emphasis on information accessibility, with numerous researchers actively developing automated tools to detect and repair accessibility issues, thereb…
cs.SE2023★ 1 cited
Empirical Study on Transformer-based Techniques for Software Engineering
Yan Xiao, Xinyue Zuo, Lei Xue +3
Many Transformer-based pre-trained models for code have been developed and applied to code-related tasks. In this paper, we review the existing literature, examine the suitability…
math.CO2022
A Lower Bound Theorem for strongly regular CW spheres with up to vertices
Lei Xue
In 1967, Grünmbaum conjectured that any -dimensional polytope with vertices has at least \[ϕ_k(d+s,d) = {d+1 \choose k+1 }+{d \choose k+1 }-{d+1-s \choose k+1 } \]…