Publications

Thesis

• Formalization of Logic Systems and Semantics
  Yichen Tao.

Peer-reviewed Papers

• Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
  Yichen Tao, Hongfei Fu, Jiawei Chen, Jean-Baptiste Jeannin
  To appear at Object-Oriented Programming, Systems, Languages & Applications (OOPSLA), 2026.
• Verifying Programs with Logic and Extended Proof Rules: Deep Embedding v.s. Shallow Embedding
  Zhongye Wang, Qinxiang Cao, Yichen Tao.
  Journal of Automated Reasoning (JAR), 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 (AAMAS), 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 (IJTCS), 2023.
• LOGIC: A Coq Library for Logics
  Yichen Tao, Qinxiang Cao.
  International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA), 2022.