Repository-level code completion aims to generate code for unfinished code snippets within
the context of a specified repository. Existing approaches mainly rely on retrieval-augmented …

In recent years, Large Language Models (LLMs) have achieved remarkable success and
have been widely used in various downstream tasks, especially in the tasks of the software …

Autoformalization, the conversion of natural language mathematics into formal languages,
offers significant potential for advancing mathematical reasoning. However, existing efforts …

In this work, we propose a novel method named\textbf {Auto} mated\textbf {P} rocess-\textbf
{S} upervised\textbf {V} erifier (\textbf {\textsc {AutoPSV}}) to enhance the reasoning …

In this work, we propose a novel method named\textbf {Auto} mated Process Labeling
via\textbf {C} onfidence\textbf {V} ariation (\textbf {\textsc {AutoCV}}) to enhance the …

This paper provides a primer on Large Language Models (LLMs) and identifies their
strengths, limitations, applications and research directions. It is intended to be useful to …

We present Dynamic Skill Adaptation (DSA), an adaptive and dynamic framework to adapt
novel and complex skills to Large Language Models (LLMs). Compared with previous work …