activity
20232026
most citedAgents4PLC: Automating Closed-loop PLC Code Generation and Verification in Industrial Control Systems using LLM-based Agents

2 citations · 2 across the 10 of their papers we have counts for

collaborators

11 papers

cs.AI2026

ProWorld: Progress-Aware Hyperbolic World Models for Long-Horizon Visual Goal Reaching

Zihan Liu, Yuzhe Zhuang, Yuanzu Li +4

JEPA-style visual world models offer an effective paradigm for visual goal planning by predicting future latent representations. Existing methods typically learn local transition c…

cs.CV2026

Cosmos 3: Omnimodal World Models for Physical AI

NVIDIA, :, Aditi +293

We introduce Cosmos 3, a family of omnimodal world models designed to jointly process and generate language, image, video, audio, and action sequences within a unified mixture-of-t…

cs.MA2026

Dynamic Trust-Aware Sparse Communication Topology for LLM-Based Multi-Agent Consensus

Wanshuang Gou, Zihan Liu

Large language model-driven multi-agent systems enhance the reliability of complex reasoning tasks through multi-round deliberation, role specialization, and cross-validation. Howe…

cs.MA2026

Agent System Operations: Categorization, Challenges, and Future Directions

Zexin Wang, Changhua Pei, Yuanhao Liu +10

As the reasoning capabilities of Large Language Models (LLMs) continue to advance, LLM-based agent systems offer advantages in flexibility and interpretability over traditional sys…

cs.AI2026

ResMAS: Resilience Optimization in LLM-based Multi-agent Systems

Zhilun Zhou, Zihan Liu, Jiahe Liu +5

Large Language Model-based Multi-Agent Systems (LLM-based MAS), where multiple LLM agents collaborate to solve complex tasks, have shown impressive performance in many areas. Howev…

cs.CV2025

Scalpel-SAM: A Semi-Supervised Paradigm for Adapting SAM to Infrared Small Object Detection

Zihan Liu, Xiangning Ren, Dezhang Kong +2

Infrared small object detection urgently requires semi-supervised paradigms due to the high cost of annotation. However, existing methods like SAM face significant challenges of do…

cs.CL2025

Deep Self-Evolving Reasoning

Zihan Liu, Shun Zheng, Xumeng Wen +3

Long-form chain-of-thought reasoning has become a cornerstone of advanced reasoning in large language models. While recent verification-refinement frameworks have enabled proprieta…

cs.AI2025

Reinforcement Learning with Verifiable Rewards Implicitly Incentivizes Correct Reasoning in Base LLMs

Xumeng Wen, Zihan Liu, Shun Zheng +9

Recent advancements in long chain-of-thought (CoT) reasoning, particularly through the Group Relative Policy Optimization algorithm used by DeepSeek-R1, have led to significant int…

cs.SE2024★ 2 cited

Agents4PLC: Automating Closed-loop PLC Code Generation and Verification in Industrial Control Systems using LLM-based Agents

Zihan Liu, Ruinan Zeng, Dongxia Wang +5

In industrial control systems, the generation and verification of Programmable Logic Controller (PLC) code are critical for ensuring operational efficiency and safety. While Large…

cs.SE2023

SUT: Active Defects Probing for Transcompiler Models

Mengnan Qi, Yufan Huang, Maoquan Wang +5

Automatic Program translation has enormous application value and hence has been attracting significant interest from AI researchers. However, we observe that current program transl…

cs.CL2023

Only 5\% Attention Is All You Need: Efficient Long-range Document-level Neural Machine Translation

Zihan Liu, Zewei Sun, Shanbo Cheng +2

Document-level Neural Machine Translation (DocNMT) has been proven crucial for handling discourse phenomena by introducing document-level context information. One of the most impor…