works on

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

collaborators

6 papers

cs.SE2026

A Study of Cursorrules Files in GitHub Open Source Projects

Shuang Sun, Jafar Akhoundali, Arina Kudriavtseva +2

Prompts are the primary mechanism for communicating with AI agents, and they directly influence the quality and reliability of AI-generated code. As AI-assisted programming becomes…

cs.LG2026

CalibForge: Adversarial Solver Calibration for Scaling Learnable Terminal Tasks

Fanzhe Meng, Guoxin Chen, Jiale Zhao +6

Training terminal agents requires executable and verifiable tasks that are not merely solvable, but appropriately challenging for learning. Executable validation establishes feasib…

cs.AI2026

Nanbeige4.2-3B: Unlocking Agentic Capabilities in a Compact Model

Nanbeige Lab, :, Chen Yang +23

We present Nanbeige4.2-3B, a compact general agentic model with 3B non-embedding parameters. It delivers strong performance across code-agent, office-agent, and complex tool-use ta…

cs.CL2026

AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification

Lingkai Kong, Zijian Wu, Yuzhe Gu +10

The paper introduces AdvancedMathBench, a benchmark suite for evaluating large language models on generating and verifying advanced mathematical proofs, and provides an automatic v…

cs.CL2026

ClawGym: A Scalable Framework for Building Effective Claw Agents

Fei Bai, Huatong Song, Shuang Sun +11

Claw-style environments support multi-step workflows over local files, tools, and persistent workspace states. However, scalable development around these environments remains const…

cs.CL2025

SimpleDeepSearcher: Deep Information Seeking via Web-Powered Reasoning Trajectory Synthesis

Shuang Sun, Huatong Song, Yuhao Wang +10

Retrieval-augmented generation (RAG) systems have advanced large language models (LLMs) in complex deep search scenarios requiring multi-step reasoning and iterative information re…