← Search

Ziyu Lu

5 accepted papers

2026

BEAP-AGENT: BACKTRACKABLE EXECUTION AND ADAPTIVE PLANNING FOR GUI AGENTS

ICASSP 2026poster

GUI agents are designed to automate repetitive tasks and enhance productivity. However, existing GUI agents struggle to recover once they follow an incorrect exploration path, often leading to task failure. In this work, we model GUI task execution as a DFS process and propose BEAP-Agent, a DFS-base…

Cited by 0SourcePDFScholar
2026

MathSmith: Towards Extremely Hard Mathematical Reasoning by Forging Synthetic Problems with a Reinforced Policy

AAAI 2026technical

Large language models have achieved substantial progress in mathematical reasoning, yet their advancement is limited by the scarcity of high-quality, high-difficulty training data. Existing synthesis methods largely rely on transforming human-written templates, limiting both diversity and scalabilit

Cited by 0SourcePDFScholar
2025

AnyTSR: Any-Scale Thermal Super-Resolution for UAV

IROS 2025

Thermal imaging can greatly enhance the application of intelligent unmanned aerial vehicles (UAV) in challenging environments. However, the inherent low resolution of thermal sensors leads to insufficient details and blurred boundaries. Super-resolution (SR) offers a promising solution to address th

Cited by 3SourcecodeScholar
2025

EdgeSR: Reparameterization-Driven Fast Thermal Super-Resolution for Edge Electro-Optical Device

IROS 2025

Super-resolution (SR) can greatly promote the development of edge electro-optical (EO) devices. However, most existing SR models struggle to simultaneously achieve effective thermal reconstruction and real-time inference on edge EO devices with limited computing resources. To address these issues, t

Cited by 0SourcecodeScholar
2025

NetFormer: An interpretable model for recovering dynamical connectivity in neuronal population dynamics

ICLR 2025spotlight

Neuronal dynamics are highly nonlinear and nonstationary. Traditional methods for extracting the underlying network structure from neuronal activity recordings mainly concentrate on modeling static connectivity, without accounting for key nonstationary aspects of biological neural systems, such as o…

Cited by 0SourcePDFScholar