Zhuo Zoey Chen

Orcid: 0000-0002-0617-3434

According to our database¹, Zhuo Zoey Chen authored at least 2 papers in 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

cbpv-reasonable-HOL.

[DOI]

Dataset, September, 2025

A Verified Cost Model for Call-By-Push-Value.

[DOI]

Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025