Look before you leap: An exploratory study of uncertainty measurement for large language models Y Huang, J Song, Z Wang, H Chen, L Ma arXiv preprint arXiv:2307.10236, 2023 | 39 | 2023 |
When cyber-physical systems meet AI: A benchmark, an evaluation, and a way forward J Song, D Lyu, Z Zhang, Z Wang, T Zhang, L Ma Proceedings of the 44th International Conference on Software Engineering …, 2022 | 13 | 2022 |
Self-refined large language model as automated reward function designer for deep reinforcement learning in robotics J Song, Z Zhou, J Liu, C Fang, Z Shu, L Ma arXiv preprint arXiv:2309.06687, 2023 | 9 | 2023 |
Isr-llm: Iterative self-refined large language model for long-horizon sequential task planning Z Zhou, J Song, K Yao, Z Shu, L Ma arXiv preprint arXiv:2308.13724, 2023 | 6 | 2023 |
Iterative selfrefined large language model for long-horizon sequential task planning Z Zhou, J Song, K Yao, Z Shu, LM Isr-llm arXiv preprint arXiv:2308.13724 19, 2023 | 6 | 2023 |
Mosaic: Model-based Safety Analysis Framework for AI-enabled Cyber-Physical Systems X Xie, J Song, Z Zhou, F Zhang, L Ma arXiv preprint arXiv:2305.03882, 2023 | 3 | 2023 |
Towards building ai-cps with nvidia isaac sim: An industrial benchmark and case study for robotics manipulation Z Zhou, J Song, X Xie, Z Shu, L Ma, D Liu, J Yin, S See Proceedings of the 46th International Conference on Software Engineering …, 2024 | 2 | 2024 |
: A Semantics-Guided Safety Enhancement Framework for AI-Enabled Cyber-Physical Systems J Song, X Xie, L Ma IEEE Transactions on Software Engineering 49 (8), 4058-4080, 2023 | 2 | 2023 |
Autorepair: Automated repair for ai-enabled cyber-physical systems under safety-critical conditions D Lyu, J Song, Z Zhang, Z Wang, T Zhang, L Ma, J Zhao arXiv preprint arXiv:2304.05617, 2023 | 2 | 2023 |
LUNA: A Model-Based Universal Analysis Framework for Large Language Models D Song, X Xie, J Song, D Zhu, Y Huang, F Juefei-Xu, L Ma IEEE Transactions on Software Engineering, 2024 | 1 | 2024 |
Online Safety Analysis for LLMs: a Benchmark, an Assessment, and a Path Forward X Xie, J Song, Z Zhou, Y Huang, D Song, L Ma arXiv preprint arXiv:2404.08517, 2024 | 1 | 2024 |
GenSafe: A Generalizable Safety Enhancer for Safe Reinforcement Learning Algorithms Based on Reduced Order Markov Decision Process Model Z Zhou, X Xie, J Song, Z Shu, L Ma arXiv preprint arXiv:2406.03912, 2024 | | 2024 |