Scholar
Lingyuan Ye
Google Scholar ID: Zc5CmmQAAAAJ
Tsinghua University
logic
mathematics
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
1
H-index
1
i10-index
0
Publications
13
Co-authors
0
Publications
6 items
Conceptual completeness for subgeometric logics
2026
Cited
0
The Synthetic Sierpiński Cone
2026
Cited
0
Coexact completion of profinite Heyting algebras and uniform interpolation
2026
Cited
0
TRIDENT: A Trimodal Cascade Generative Framework for Drug and RNA-Conditioned Cellular Morphology Synthesis
2025
Cited
0
Domains and Classifying Topoi
2025
Cited
0
Logic and Concepts in the 2-category of Topoi
2025
Cited
0
