Yichen Tao

According to our database, Yichen Tao authored at least 5 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Verifying Programs with Logic and Extended Proof Rules: Deep Embedding vs. Shallow Embedding.

Zhongye Wang, Qinxiang Cao, Yichen Tao

J. Autom. Reason., September, 2024

A Complete Landscape for the Price of Envy-Freeness.

Zihao Li, Shengxin Liu, Xinhang Lu, Biaoshuai Tao, Yichen Tao

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

2023

Verifying Programs with Logic and Extended Proof Rules: Deep Embedding v.s. Shallow Embedding.

Zhongye Wang, Qinxiang Cao, Yichen Tao

CoRR, 2023

Adaptivity Gap for Influence Maximization with Linear Threshold Model on Trees.

Yichen Tao, Shuo Wang, Kuan Yang

Proceedings of the Frontiers of Algorithmics - 17th International Joint Conference, 2023

2022

LOGIC: A Coq Library for Logics.

Yichen Tao, Qinxiang Cao

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022