Skip to content

Peiyang Song

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

6

Venues

5

Active years

2018–2025

Best venue rank

A*

Where they publish

Papers

6 indexed papers, newest first.

YearVenueTitleAuthors
2025ICLRLeanAgent: Lifelong Learning for Formal Theorem Proving.Adarsh Kumarappan, Mo Tiwari, Peiyang Song, Robert Joseph George, Chaowei Xiao, Anima Anandkumar
2024ASPLOSEnergy Efficient Convolutions with Temporal Arithmetic.Rhys Gretsch, Peiyang Song, Advait Madhavan, Jeremy Lau, Timothy Sherwood
2024EMNLPIn-Context Learning May Not Elicit Trustworthy Reasoning: A-Not-B Errors in Pretrained Language Models.Pengrui Han, Peiyang Song, Haofei Yu, Jiaxuan You
2024EMNLPCreative and Context-Aware Translation of East Asian Idioms with GPT-4.Kenan Tang, Peiyang Song, Yao Qin, Xifeng Yan
2018APCCA Versatile FPGA-Based Multi-Rate and Multi-Channel Transmission Loss Tester.Qiang Li, Feng-Kui Gong, Guo Li, Peiyang Song
2018VTCBlind Estimation Algorithms for I/Q Imbalance in Direct Down-Conversion Receivers.Peiyang Song, Nan Zhang, Hang Zhang, Fengkui Gong