Yutong Xin

Orcid: 0009-0006-7608-1873

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean.
CoRR, February, 2026

2025
Automated Discovery of Tactic Libraries for Interactive Theorem Proving.
Proc. ACM Program. Lang., 2025

Framework and Multi-modal Dataset for Roadwork Zone Detection and Geo-localization.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2025

A Formal Y86 Simulator with CHERI Features.
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.
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.
Proceedings of the IEEE Global Communications Conference, 2023


  Loading...