Jiashuo Zhang
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Known people with the same name:
- Jiashuo Zhang 001 (Peking University, Beijing, China)
- Jiashuo Zhang 002 (Johns Hopkins University, USA)
Bibliography
2025
Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization.
CoRR, July, 2025
ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data.
CoRR, February, 2025
On the Transferred Brightness Temperature Variation Versus Feeder Antenna Position in a Fundamental Calibration Link.
IEEE Geosci. Remote. Sens. Lett., 2025
An Adaptive Fault Feature Extraction Method for Aeroengine Intershaft Bearing Based on Casing Vibration.
IEEE Access, 2025
Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2025
2023
IEEE Access, 2023
2022
A Speech-driven Sign Language Avatar Animation System for Hearing Impaired Applications.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
2021
AliMe Avatar: Multi-modal Content Production and Presentation for Live-streaming E-commerce.
Proceedings of the SIGIR '21: The 44th International ACM SIGIR Conference on Research and Development in Information Retrieval, 2021
2017
Proceedings of the Natural Language Processing and Chinese Computing, 2017