We stand with Ukraine  

Lingyuan Ye

Orcid: 0000-0002-8983-0099

According to our database1, Lingyuan Ye authored at least 8 papers between 2022 and 2026.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
The Synthetic Sierpiński Cone.
[BibTeX]
[DOI]
Fredrik Bakke
,
Jonathan Sterling
,
Mark Damuni Williams
,
Lingyuan Ye
CoRR, May, 2026

Coexact completion of profinite Heyting algebras and uniform interpolation.
[BibTeX]
[DOI]
Lingyuan Ye
CoRR, April, 2026

Categorical structure in coherent theory of arithmetic.
[BibTeX]
[DOI]
Lingyuan Ye
Theor. Comput. Sci., 2026

2025
TRIDENT: A Trimodal Cascade Generative Framework for Drug and RNA-Conditioned Cellular Morphology Synthesis.
[BibTeX]
[DOI]
Rui Peng
,
Ziru Liu
,
Lingyuan Ye
,
Yuxing Lu
,
Boxin Shi
,
Jinzhuo Wang
CoRR, November, 2025

Domains and Classifying Topoi.
[BibTeX]
[DOI]
Jonathan Sterling
,
Lingyuan Ye
CoRR, May, 2025

Logic and Concepts in the 2-category of Topoi.
[BibTeX]
[DOI]
Ivan Di Liberti
,
Lingyuan Ye
CoRR, April, 2025

2023
Varieties of Self-Reference in Metamathematics.
[BibTeX]
[DOI]
Balthasar Grabmayr
,
Volker Halbach
,
Lingyuan Ye
J. Philos. Log., August, 2023

2022
Unification of Modal Logic via Topological Categories.
[BibTeX]
[DOI]
Lingyuan Ye
Proceedings of the Proceedings Fifth International Conference on Applied Category Theory, 2022


  Loading...