Large Language Models (LLMs) have recently demonstrated remarkable capabilities in
natural language processing tasks and beyond. This success of LLMs has led to a large …

The advent of artificial intelligence-generated content (AIGC) represents a pivotal moment in
the evolution of information technology. With AIGC, it can be effortless to generate high …

For a long time, humanity has pursued artificial intelligence (AI) equivalent to or surpassing
the human level, with AI agents considered a promising vehicle for this pursuit. AI agents are …

We present Llemma, a large language model for mathematics. We continue pretraining
Code Llama on the Proof-Pile-2, a mixture of scientific papers, web data containing …

While language models are powerful and versatile, they often fail to address highly complex
problems. This is because solving complex problems requires deliberate thinking, which has …

To solve complex tasks, large language models (LLMs) often require multiple rounds of
interactions with the user, sometimes assisted by external tools. However, current evaluation …

In recent years, machine learning has emerged as a powerful computational tool and novel
problem-solving perspective for physics, offering new avenues for studying strongly …

A major challenge of AI+ Science lies in their inherent incompatibility: today's AI is primarily
based on connectionism, while science depends on symbolism. To bridge the two worlds …

Despite the success of large language models (LLMs), the task of theorem proving still
remains one of the hardest reasoning tasks that is far from being fully solved. Prior methods …

The development of Artificial Intelligence Generated Content (AIGC) has been facilitated by
advancements in model algorithms, scalable foundation model architectures, and the …