2 papers
cs.SE2025
Write Your Own CodeChecker: An Automated Test-Driven Checker Development Approach with LLMs
Jun Liu, Yuanyuan Xie, Jiwei Yan +3
With the rising demand for code quality assurance, developers are not only utilizing existing static code checkers but also seeking custom checkers to satisfy their specific needs.…
cs.RO2025
An Real-Sim-Real (RSR) Loop Framework for Generalizable Robotic Policy Transfer with Differentiable Simulation
Lu Shi, Yuxuan Xu, Shiyu Wang +6
The sim-to-real gap remains a critical challenge in robotics, hindering the deployment of algorithms trained in simulation to real-world systems. This paper introduces a novel Real…