← Search

Peihao Wu

4 accepted papers

2026

FATE: A Formal Benchmark Series for Frontier Algebra of Multiple Difficulty Levels

ICLR 2026poster

Recent advances in large language models (LLMs) have demonstrated impressive capabilities in formal theorem proving, particularly on contest-based mathematical benchmarks like the IMO. However, these contests do not reflect the depth, breadth, and abstraction of modern mathematical research. To brid…

Cited by 0SourceScholar
2023

CIF-PT: Bridging Speech and Text Representations for Spoken Language Understanding via Continuous Integrate-and-Fire Pre-Training

ACL 2023findings

Speech or text representation generated by pre-trained models contains modal-specific information that could be combined for benefiting spoken language understanding (SLU) tasks. In this work, we propose a novel pre-training paradigm termed Continuous Integrate-and-Fire Pre-Training (CIF-PT). It rel…

2023

Internal Language Model Estimation Based Adaptive Language Model Fusion for Domain Adaptation

ICASSP 2023accepted

ASR model deployment environment is ever-changing, and the incoming speech can be switched across different domains during a session. This brings a challenge for effective domain adaptation when only target domain text data is available, and our objective is to obtain obviously improved performance…

Cited by 0SourceScholar
2022

Improving Contextual Representation with Gloss Regularized Pre-training

NAACL 2022findings

Though achieving impressive results on many NLP tasks, the BERT-like masked language models (MLM) encounter the discrepancy between pre-training and inference. In light of this gap, we investigate the contextual representation of pre-training and inference from the perspective of word probability di…