Yichen Xu - RankMe

25 papers A* 1A 2Journal 18Unranked 4

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Agentic Proof Automation: A Case Study. CoRR Yichen Xu, Martin Odersky
2026	J	`jnl`	Tracking Capabilities for Safer Agents. CoRR Martin Odersky, Yaoyu Zhao, Yichen Xu, Oliver Bracevac, Cao Nguyen Pham
2025	J	`jnl`	What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version). CoRR Yichen Xu, Oliver Bracevac, Cao Nguyen Pham, Martin Odersky
2025	J	`jnl`	What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures. Proc. ACM Program. Lang. Yichen Xu, Oliver Bracevac, Cao Nguyen Pham, Martin Odersky
2024	—	`conf`	A Formal Foundation of Reach Capabilities. Programming Yichen Xu, Martin Odersky
2024	J	`jnl`	Degrees of Separation: A Flexible Type System for Safe Concurrency. Proc. ACM Program. Lang. Yichen Xu, Aleksander Boruch-Gruszecki, Martin Odersky
2023	J	`jnl`	Degrees of Separation: A Flexible Type System for Data Race Prevention. CoRR Yichen Xu, Martin Odersky
2023	J	`jnl`	Formalizing Box Inference for Capture Calculus. CoRR Yichen Xu, Martin Odersky
2023	J	`jnl`	Unsupervised Graph Representation Learning with Cluster-aware Self-training and Refining. ACM Trans. Intell. Syst. Technol. Yanqiao Zhu, Yichen Xu, Feng Yu, Qiang Liu, Shu Wu
2022	—	`conf`	A Survey on Deep Graph Generation: Methods and Applications. LoG Yanqiao Zhu, Yuanqi Du, Yinkai Wang, Yichen Xu, Jieyu Zhang, Qiang Liu, Shu Wu
2022	J	`jnl`	A Survey on Deep Graph Generation: Methods and Applications. CoRR Yanqiao Zhu, Yuanqi Du, Yinkai Wang, Yichen Xu, Jieyu Zhang, Qiang Liu, Shu Wu
2022	J	`jnl`	A Survey on Pretrained Language Models for Neural Code Intelligence. CoRR Yichen Xu, Yanqiao Zhu
2022	J	`jnl`	A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning. CoRR Aleksander Boruch-Gruszecki, Radoslaw Wasko, Yichen Xu, Lionel Parreaux
2022	J	`jnl`	A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning. Proc. ACM Program. Lang. Aleksander Boruch-Gruszecki, Radoslaw Wasko, Yichen Xu, Lionel Parreaux
2022	A	`conf`	Structure-Enhanced Heterogeneous Graph Contrastive Learning. SDM Yanqiao Zhu, Yichen Xu, Hejie Cui, Carl Yang, Qiang Liu, Shu Wu
2021	—	`conf`	An Empirical Study of Graph Contrastive Learning. NeurIPS Datasets and Benchmarks Yanqiao Zhu, Yichen Xu, Qiang Liu, Shu Wu
2021	J	`jnl`	An Empirical Study of Graph Contrastive Learning. CoRR Yanqiao Zhu, Yichen Xu, Qiang Liu, Shu Wu
2021	A	`conf`	Disentangled Self-Attentive Neural Networks for Click-Through Rate Prediction. CIKM Yichen Xu, Yanqiao Zhu, Feng Yu, Qiang Liu, Shu Wu
2021	J	`jnl`	Disentangled Self-Attentive Neural Networks for Click-Through Rate Prediction. CoRR Yanqiao Zhu, Yichen Xu, Feng Yu, Qiang Liu, Shu Wu, Liang Wang
2021	A*	`conf`	Graph Contrastive Learning with Adaptive Augmentation. WWW Yanqiao Zhu, Yichen Xu, Feng Yu, Qiang Liu, Shu Wu, Liang Wang
2021	—	`conf`	Implementing path-dependent GADT reasoning for Scala 3. SCALA@SPLASH Yichen Xu, Aleksander Boruch-Gruszecki, Lionel Parreaux
2021	J	`jnl`	Structure-Aware Hard Negative Mining for Heterogeneous Graph Contrastive Learning. CoRR Yanqiao Zhu, Yichen Xu, Hejie Cui, Carl Yang, Qiang Liu, Shu Wu
2020	J	`jnl`	CAGNN: Cluster-Aware Graph Neural Networks for Unsupervised Graph Representation Learning. CoRR Yanqiao Zhu, Yichen Xu, Feng Yu, Shu Wu, Liang Wang
2020	J	`jnl`	Deep Graph Contrastive Representation Learning. CoRR Yanqiao Zhu, Yichen Xu, Feng Yu, Qiang Liu, Shu Wu, Liang Wang
2020	J	`jnl`	Graph Contrastive Learning with Adaptive Augmentation. CoRR Yanqiao Zhu, Yichen Xu, Feng Yu, Qiang Liu, Shu Wu, Liang Wang