12 accepted papers
Retrieval-augmented generation (RAG) has shown some success in augmenting large language models (LLMs) with external knowledge. However, as a non-parametric knowledge integration paradigm for LLMs, RAG methods heavily rely on external retrieval modules and the retrieved textual context prior. Especi…
Recent advances in formal theorem proving have focused on Olympiad-level mathematics, leaving undergraduate domains largely unexplored. Optimization, fundamental to machine learning, operations research, and scientific computing, remains underserved by existing provers. Its reliance on domain-specif…
Large Language Models (LLMs) have emerged as a pivotal research area, yet the attention module remains a critical bottleneck in LLM inference, even with techniques like KVCache to mitigate redundant computations. While various top-k attention mechanisms have been proposed to accelerate LLM inference…
Text-to-Image (T2I) generative models have revolutionized content creation but remain highly sensitive to prompt phrasing, often requiring users to repeatedly refine prompts multiple times without clear feedback. While techniques such as automatic prompt engineering, controlled text embeddings, deno…
Due to the characteristics of light weight, low cost, and high resolution, millimeter wave (MMW) multiple-input multiple-output (MIMO) radars are widely applied in remote sensing and automotive systems. The MMW MIMO radar orthogonal waveform design is a key issue based on dechirp-on-receive techniqu…
Few-shot fine-tuning of text-to-image (T2I) generation models enables people to create unique images in their own style using natural languages without requiring extensive prompt engineering. However, fine-tuning with only a handful, as little as one, of image-text paired data prevents fine-grained…
This paper studies super-resolution harmonic retrieval for strictly non-circular coherent signals. We develop gridless sparse representations of both their covariance and pseudo-covariance matrices over a common matrix-form atom set. This enables the decoupled atomic norm minimization (D-ANM) techni…
This paper proposes a super-resolution harmonic retrieval method for uncorrelated strictly non-circular signals, whose covariance and pseudo-covariance present Toeplitz and Hankel structures, respectively. Accordingly, the augmented covariance matrix constructed by the covariance and pseudo-covarian…
Recent advances in diffusion models have set an impressive milestone in many generation tasks, and trending works such as DALL-E2, Imagen, and Stable Diffusion have attracted great interest. Despite the rapid landscape changes, recent new approaches focus on extensions and performance rather than ca…
This paper develops an enhanced low-rank structured covariance reconstruction (LRSCR) method based on the decoupled atomic norm minimization (D-ANM), for super-resolution two-dimensional (2D) harmonic retrieval with multiple measurement vectors. This LRSCR-D-ANM approach exploits a potential structu…
Focusing on the signal-to interference-plus-noise ratio (SINR) maximization in colocated multiple-input multiple-output (MIMO) radars, using the covariance matrix design of transmitted waveforms, we propose a kind of transmit covariance matrix (TCM) <tex xmlns:mml="http://www.w3.org/1998/Math/MathML…
A two-stage method for off-grid coherent direction-of-arrival (DOA) estimation using atomic norm minimization based on the covariance matrix is proposed in this paper. In the first stage, by vectorizing the covariance matrix, a new off-grid model matched as a linear combination of two dimensional ha…