5 papers
Towards Demystifying and Repairing LLM-in-the-Loop Vulnerabilities
Yujie Ma, Jialin Rong, Chenxi Yang +5
Large Language Models (LLMs) have been actively integrated into modern software systems as critical components, introducing a new type of software vulnerability, LLM-in-the-Loop (L…
Canopy: Property-Driven Learning for Congestion Control
Chenxi Yang, Divyanshu Saxena, Rohit Dwivedula +3
Learning-based congestion controllers offer better adaptability compared to traditional heuristics. However, the unreliability of learning techniques can cause learning-based contr…
Let it Calm: Exploratory Annealed Decoding for Verifiable Reinforcement Learning
Chenghao Yang, Lin Gui, Chenxiao Yang +3
Reinforcement learning with verifiable rewards (RLVR) is a powerful paradigm for enhancing the reasoning capabilities of large language models (LLMs), yet its success hinges on eff…
Deep Reinforcement Learning for Automated Web GUI Testing
Zhiyu Gu, Chenxu Liu, Guoquan Wu +5
Automated GUI testing of web applications has always been considered a challenging task considering their large state space and complex interaction logic. Deep Reinforcement Learni…
LTL-Constrained Policy Optimization with Cycle Experience Replay
Ameesh Shah, Cameron Voloshin, Chenxi Yang +3
Linear Temporal Logic (LTL) offers a precise means for constraining the behavior of reinforcement learning agents. However, in many settings where both satisfaction and optimality…