Peiyang Song

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 8

Top Topics

Theorem Proving

Pseudo Relevance Feedback

Top Venues

IEEE Commun. Lett.

Publications

Rhys Gretsch, Peiyang Song, Advait Madhavan, Jeremy Lau, Timothy Sherwood
Energy Efficient Convolutions with Temporal Arithmetic. ASPLOS (2) (2024)
Peiyang Song, Kaiyu Yang, Anima Anandkumar
Towards Large Language Models as Copilots for Theorem Proving in Lean. CoRR (2024)
Kaiyu Yang, Aidan M. Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan J. Prenger, Animashree Anandkumar
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models. NeurIPS (2023)
Peiyang Song, Nan Zhang, Lin Cai, Guo Li, Tong Wu, Feng-Kui Gong
For Security and Higher Spectrum Efficiency: A Variable Packing Ratio Transmission System Based on Faster-Than-Nyquist and Deep Learning. IEEE Trans. Wirel. Commun. 22 (9) (2023)
Kaiyu Yang, Aidan M. Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan Prenger, Anima Anandkumar
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models. CoRR (2023)
Peiyang Song, Fengkui Gong, Qiang Li, Guo Li, Haiyang Ding
Receiver Design for Faster-Than-Nyquist Signaling: Deep-Learning-Based Architectures. IEEE Access 8 (2020)
Peiyang Song, Nan Zhang, Hang Zhang, Fengkui Gong
Blind Estimation Algorithms for I/Q Imbalance in Direct Down-Conversion Receivers. VTC Fall (2018)
Xiang Chen, Fengkui Gong, Guo Li, Hang Zhang, Peiyang Song
User Pairing and Pair Scheduling in Massive MIMO-NOMA Systems. IEEE Commun. Lett. 22 (4) (2018)