关注
Jiayang Song
Jiayang Song
University of Alberta
在 ualberta.ca 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
392023
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
132022
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
92023
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
62023
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
62023
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
32023
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
22024
: 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
22023
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
22023
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
12024
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
12024
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
系统目前无法执行此操作，请稍后再试。
文章 1–12