Publications

Thesis

• Formalization of Logic Systems and Semantics
  Yichen Tao.

Peer-reviewed Papers

• Verifying Programs with Logic and Extended Proof Rules: Deep Embedding v.s. Shallow Embedding
  Zhongye Wang, Qinxiang Cao, Yichen Tao.
  Journal of Automated Reasoning, August 2024
• A Complete Landscape for the Price of Envy-Freeness
  Zihao Li, Shengxin Liu, Xinhang Lu, Biaoshuai Tao, Yichen Tao.
  International Conference on Autonomous Agents and Multiagent Systems, 2024.
• Adaptivity Gap for Influence Maximization with Linear Threshold Model on Trees
  Yichen Tao, Shuo Wang, Kuan Yang.
  International Joint Conference on Theoretical Computer Science – Frontier of Algorithmic Wisdom, 2023.
• LOGIC: A Coq Library for Logics
  Yichen Tao, Qinxiang Cao.
  International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, 2022.