Yichen Xu

According to our database, Yichen Xu authored at least 21 papers between 2020 and 2026.

Collaborative distances:

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

2026

Tracking Capabilities for Safer Agents.

Martin Odersky, Yaoyu Zhao, Yichen Xu, Oliver Bracevac, Cao Nguyen Pham

CoRR, March, 2026

Agentic Proof Automation: A Case Study.

Yichen Xu, Martin Odersky

CoRR, January, 2026

2025

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version).

Yichen Xu, Oliver Bracevac, Cao Nguyen Pham, Martin Odersky

CoRR, September, 2025

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures.

Yichen Xu, Oliver Bracevac, Cao Nguyen Pham, Martin Odersky

Proc. ACM Program. Lang., 2025

2024

Degrees of Separation: A Flexible Type System for Safe Concurrency.

Yichen Xu, Aleksander Boruch-Gruszecki, Martin Odersky

Proc. ACM Program. Lang., 2024

A Formal Foundation of Reach Capabilities.

Yichen Xu, Martin Odersky

Proceedings of the Companion Proceedings of the 8th International Conference on the Art, 2024

2023

Unsupervised Graph Representation Learning with Cluster-aware Self-training and Refining.

Yanqiao Zhu, Yichen Xu, Feng Yu, Qiang Liu, Shu Wu

ACM Trans. Intell. Syst. Technol., October, 2023

Degrees of Separation: A Flexible Type System for Data Race Prevention.

Yichen Xu, Martin Odersky

CoRR, 2023

Formalizing Box Inference for Capture Calculus.

Yichen Xu, Martin Odersky

CoRR, 2023

2022

A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning.

Aleksander Boruch-Gruszecki, Radoslaw Wasko, Yichen Xu, Lionel Parreaux

Proc. ACM Program. Lang., 2022

A Survey on Pretrained Language Models for Neural Code Intelligence.

Yichen Xu, Yanqiao Zhu

CoRR, 2022

Structure-Enhanced Heterogeneous Graph Contrastive Learning.

Yanqiao Zhu, Yichen Xu, Hejie Cui, Carl Yang, Qiang Liu, Shu Wu

Proceedings of the 2022 SIAM International Conference on Data Mining, 2022

A Survey on Deep Graph Generation: Methods and Applications.

Yanqiao Zhu, Yuanqi Du, Yinkai Wang, Yichen Xu, Jieyu Zhang, Qiang Liu, Shu Wu

Proceedings of the Learning on Graphs Conference, 2022

2021

Structure-Aware Hard Negative Mining for Heterogeneous Graph Contrastive Learning.

Yanqiao Zhu, Yichen Xu, Hejie Cui, Carl Yang, Qiang Liu, Shu Wu

CoRR, 2021

Disentangled Self-Attentive Neural Networks for Click-Through Rate Prediction.

Yanqiao Zhu, Yichen Xu, Feng Yu, Qiang Liu, Shu Wu, Liang Wang

CoRR, 2021

Graph Contrastive Learning with Adaptive Augmentation.

Yanqiao Zhu, Yichen Xu, Feng Yu, Qiang Liu, Shu Wu, Liang Wang

Proceedings of the WWW '21: The Web Conference 2021, 2021

Implementing path-dependent GADT reasoning for Scala 3.

Yichen Xu, Aleksander Boruch-Gruszecki, Lionel Parreaux

Proceedings of the SCALA 2021: Proceedings of the 12th ACM SIGPLAN International Symposium on Scala, 2021

An Empirical Study of Graph Contrastive Learning.

Yanqiao Zhu, Yichen Xu, Qiang Liu, Shu Wu

Proceedings of the Neural Information Processing Systems Track on Datasets and Benchmarks 1, 2021

Disentangled Self-Attentive Neural Networks for Click-Through Rate Prediction.

Yichen Xu, Yanqiao Zhu, Feng Yu, Qiang Liu, Shu Wu

Proceedings of the CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1, 2021

2020

CAGNN: Cluster-Aware Graph Neural Networks for Unsupervised Graph Representation Learning.

Yanqiao Zhu, Yichen Xu, Feng Yu, Shu Wu, Liang Wang

CoRR, 2020

Deep Graph Contrastive Representation Learning.

Yanqiao Zhu, Yichen Xu, Feng Yu, Qiang Liu, Shu Wu, Liang Wang

CoRR, 2020