Pei-Yang Song

According to our database, Pei-Yang Song authored at least 15 papers between 2018 and 2024.

Collaborative distances:

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

2024

LeanAgent: Lifelong Learning for Formal Theorem Proving.

Adarsh Kumarappan, Mo Tiwari, Peiyang Song, Robert Joseph George, Chaowei Xiao, Anima Anandkumar

CoRR, 2024

Towards Large Language Models as Copilots for Theorem Proving in Lean.

Peiyang Song, Kaiyu Yang, Anima Anandkumar

CoRR, 2024

Creative and Context-Aware Translation of East Asian Idioms with GPT-4.

Kenan Tang, Peiyang Song, Yao Qin, Xifeng Yan

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2024, 2024

In-Context Learning May Not Elicit Trustworthy Reasoning: A-Not-B Errors in Pretrained Language Models.

Pengrui Han, Peiyang Song, Haofei Yu, Jiaxuan You

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2024, 2024

Energy Efficient Convolutions with Temporal Arithmetic.

Rhys Gretsch, Peiyang Song, Advait Madhavan, Jeremy Lau, Timothy Sherwood

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

For Security and Higher Spectrum Efficiency: A Variable Packing Ratio Transmission System Based on Faster-Than-Nyquist and Deep Learning.

Peiyang Song, Nan Zhang, Lin Cai, Guo Li, Tong Wu, Feng-Kui Gong

IEEE Trans. Wirel. Commun., September, 2023

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models.

Kaiyu Yang, Aidan M. Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan J. Prenger, Animashree Anandkumar

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

2020

Joint Channel Estimation and Precoding for Faster-Than-Nyquist Signaling.

Qiang Li, Feng-Kui Gong, Pei-Yang Song, Guo Li, Sheng-Hua Zhai

IEEE Trans. Veh. Technol., 2020

Beyond DVB-S2X: Faster-Than-Nyquist Signaling With Linear Precoding.

Qiang Li, Feng-Kui Gong, Pei-Yang Song, Guo Li, Sheng-Hua Zhai

IEEE Trans. Broadcast., 2020

Symbol-based multi-layer iterative successive interference cancellation for faster-than-Nyquist signalling.

Qiang Li, Feng-Kui Gong, Pei-Yang Song, Sheng-Hua Zhai

IET Commun., 2020

Receiver Design for Faster-Than-Nyquist Signaling: Deep-Learning-Based Architectures.

Peiyang Song, Fengkui Gong, Qiang Li, Guo Li, Haiyang Ding

IEEE Access, 2020

2019

Pre-Equalized Interference Cancellation for Faster-Than-Nyquist Signaling.

Qiang Li, Feng-Kui Gong, Pei-Yang Song, Sheng-Hua Zhai

IEEE Access, 2019

2018

User Pairing and Pair Scheduling in Massive MIMO-NOMA Systems.

Xiang Chen, Fengkui Gong, Guo Li, Hang Zhang, Peiyang Song

IEEE Commun. Lett., 2018

Blind Estimation Algorithms for I/Q Imbalance in Direct Down-Conversion Receivers.

Peiyang Song, Nan Zhang, Hang Zhang, Fengkui Gong

Proceedings of the 88th IEEE Vehicular Technology Conference, 2018

A Versatile FPGA-Based Multi-Rate and Multi-Channel Transmission Loss Tester.

Qiang Li, Feng-Kui Gong, Guo Li, Pei-Yang Song

Proceedings of the 24th Asia-Pacific Conference on Communications, 2018