pith. sign in

Yicong Zhu

Identifiers

  • name variant Yicong Zhu 0.60 · backfill

Papers (2)

  1. AI-aided multiscale modeling of physiologically-significant blood clots physics.med-ph · 2022 · author #1
  2. Compositional Model Checking of Consensus Protocols Specified in TLA+ via Interaction-Preserving Abstraction cs.DC · 2022 · author #3

Mentions

  • 2205.14121 #1 · arxiv_oai · confidence 0.70 Yicong Zhu
  • 2202.11385 #3 · arxiv_oai · confidence 0.70 Yicong Zhu

Frequent Coauthors