works on

From the 1 of 61 linked papers with an AI index.

activity
20242026
collaborators
Showing cs.AIShow all

10 papers · 1 filter

cs.AI2026

The Meta-Agent Challenge: Are Current Agents Capable of Autonomous Agent Development?

Xinyu Lu, Tianshu Wang, Pengbo Wang +8

Current AI benchmarks evaluate agents on task execution within human-designed workflows. These evaluations fundamentally fail to measure a critical next-level capability: whether m…

cs.AI2026

Beyond Text-Dominance: Understanding Modality Preference of Omni-modal Large Language Models

Xinru Yan, Boxi Cao, Yaojie Lu +4

Native Omni-modal Large Language Models (OLLMs) have shifted from pipeline architectures to unified representation spaces. However, this native integration gives rise to a critical…

cs.AI2026

When Models Outthink Their Safety: Unveiling and Mitigating Self-Jailbreak in Large Reasoning Models

Yingzhi Mao, Chunkang Zhang, Junxiang Wang +6

Large Reasoning Models (LRMs) achieve strong performance on complex multi-step reasoning, yet they still exhibit severe safety failures such as harmful content generation. Existing…

cs.AI2025

DeepRAG: Thinking to Retrieve Step by Step for Large Language Models

Xinyan Guan, Jiali Zeng, Fandong Meng +6

Large Language Models (LLMs) have shown remarkable reasoning capabilities, while their practical applications are limited by severe factual hallucinations due to limitations in the…

cs.AI2025

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

Jialun Cao, Yaojie Lu, Meiziniu Li +9

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 signif…

cs.AI2025

ARise: Towards Knowledge-Augmented Reasoning via Risk-Adaptive Search

Yize Zhang, Tianshu Wang, Sirui Chen +6

Large language models (LLMs) have demonstrated impressive capabilities and are receiving increasing attention to enhance their reasoning through scaling test--time compute. However…