← Search

Cheng Wen

12 accepted papers

2025

From Informal to Formal – Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs

ACL 2025long

The research in AI-based formal mathematical reasoning has shown an unstoppable growth trend. These studies have excelled in mathematical competitions like IMO and have made significant progress. However, these studies intertwined multiple skills simultaneously—problem-solving, reasoning, and writin…

2024

Reference Line Network: On Simultaneous Gaussian Line Detection and Connection Graph Inference

ICASSP 2024accepted

Reference line detection is a challenging problem due to localization uncertainty and severe occlusion. To deal with the two issues, we propose a general framework for reference line detection with two modules: Gaussian line detection and connection graph inference. The first module outputs a set of…

Cited by 0SourceScholar
2023

BPNet: Bézier Primitive Segmentation on 3D Point Clouds

IJCAI 2023poster

This paper proposes BPNet, a novel end-to-end deep learning framework to learn Bézier primitive segmentation on 3D point clouds. The existing works treat different primitive types separately, thus limiting them to finite shape categories. To address this issue, we seek a generalized primitive segmen…

2022

Audio Deepfake Detection System with Neural Stitching for ADD 2022

ICASSP 2022accepted

This paper describes our best system and methodology for ADD 2022: The First Audio Deep Synthesis Detection Challenge[1]. The very same system was used for both two rounds of evaluation in Track 3.2 with similar training methodology. The first round of Track 3.2 data is generated from Text-to-Speech…

Cited by 0SourceScholar
2022

Time Domain Adversarial Voice Conversion for ADD 2022

ICASSP 2022accepted

In this paper, we describe our speech generation system for the first Audio Deep Synthesis Detection Challenge (ADD 2022). Firstly, we build an any-to-many voice conversion (VC) system to convert source speech with arbitrary language content into target speaker’s fake speech. Then the converted spee…

Cited by 0SourceScholar
2022

VITA: A Multi-Source Vicinal Transfer Augmentation Method for Out-of-Distribution Generalization

AAAI 2022technical

Invariance to diverse types of image corruption, such as noise, blurring, or colour shifts, is essential to establish robust models in computer vision. Data augmentation has been the major approach in improving the robustness against common corruptions. However, the samples produced by popular augme…

Cited by 5SourcePDFScholar
2021

Didispeech: A Large Scale Mandarin Speech Corpus

ICASSP 2021accepted

This paper introduces a new open-sourced Mandarin speech corpus, called DiDiSpeech. It consists of about 800 hours of speech data at 48kHz sampling rate from 6000 speakers and the corresponding texts. All speech data in the corpus is recorded in quiet environment and is suitable for various speech p…

Cited by 0SourceScholar
2021

KeSpeech: An Open Source Speech Dataset of Mandarin and Its Eight Subdialects

NeurIPS 2021poster

This paper introduces an open source speech dataset, KeSpeech, which involves 1,542 hours of speech signals recorded by 27,237 speakers in 34 cities in China, and the pronunciation includes standard Mandarin and its 8 subdialects. The new dataset possesses several properties. Firstly, the dataset pr…

Cited by 41SourceScholar