Yutong Xin

According to our database, Yutong Xin authored at least 6 papers between 2023 and 2026.

Collaborative distances:

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

2026

VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean.

Yutong Xin, Qiaochu Chen, Greg Durrett, Isil Dillig

CoRR, February, 2026

2025

Automated Discovery of Tactic Libraries for Interactive Theorem Proving.

Yutong Xin, Jimmy Xin, Gabriel Poesia, Noah D. Goodman, Qiaochu Chen, Isil Dillig

Proc. ACM Program. Lang., 2025

Framework and Multi-modal Dataset for Roadwork Zone Detection and Geo-localization.

Zhiran Yan, Yutong Xin, S. Shyam Shenoi, Rui Song, Gordon Elger

Proceedings of the IEEE Intelligent Vehicles Symposium, 2025

A Formal Y86 Simulator with CHERI Features.

Carl Kwan, Yutong Xin, William D. Young

Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, 2025

2023

DMCNET: Data-Driven Multi-Pilot Convolution Neural Network for Mimo-Ofdm Receiver.

Yutong Xin, Jingyi Peng, Zejian Lu, Yong Lee, Yang Yang

Proceedings of the 8th IEEE International Conference on Network Intelligence and Digital Content, 2023

DiscoCSINet: Dissymmetric Convolution Neural Network for CSI Feedback in FDD Massive MIMO System.

Yang Yang, Yutong Xin, Zejian Lu, Yong Lee, Kun Zhou, Jemin Lee

Proceedings of the IEEE Global Communications Conference, 2023