Search Results for author: Peiyang Song

Found 4 papers, 1 papers with code

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

3 code implementations NeurIPS 2023 Kaiyu Yang, Aidan M. Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan Prenger, Anima Anandkumar

Using this data, we develop ReProver (Retrieval-Augmented Prover): an LLM-based prover augmented with retrieval for selecting premises from a vast math library.

Automated Theorem Proving Math +1

User Pairing and Power Allocation for FTN-based SC-NOMA and MIMO-NOMA Systems Considering User Fairness

no code implementations6 Jul 2022 Peiyang Song

As far as we know, this paper is the first solution to the issue of user pairing and power allocation in FTN-based NOMA, which proves the great advantage of the combination of these two state-of-the-art technologies.


For Intelligent and Higher Spectrum Efficiency: A Variable Packing Ratio Transmission System Based on Faster-than-Nyquist and Deep Learning

no code implementations1 Aug 2020 Peiyang Song, Nan Zhang, Lin Cai, Guo Li, Fengkui Gong

With the rapid development of various services in wireless communications, spectrum resource has become increasingly valuable.

Receiver Design for Faster-than-Nyquist Signaling: Deep-learning-based Architectures

no code implementations7 Nov 2018 Peiyang Song, Fengkui Gong, Qiang Li, Guo Li, Haiyang Ding

Additionally, we propose a DL-based joint signal detection and decoding for FTN signaling to replace the complete baseband part in traditional FTN receivers.

Cannot find the paper you are looking for? You can Submit a new open access paper.