关注
Li Jiaying
Li Jiaying
Research Scientist
在 smu.edu.sg 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Deep Clustering by Gaussian Mixture Variational Autoencoders With Graph Embedding
L Yang, NM Cheung, J Li, J Fang
Proceedings of the IEEE International Conference on Computer Vision, 6440-6449, 2019
1502019
Automatic Loop-Invariant Generation and Refinement through Selective Sampling
J Li, J Sun, L Li, QL Le, SW Lin
the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017
402017
A comprehensive study of real-world bugs in machine learning model optimization
H Guan, Y Xiao, J Li, Y Liu, G Bai
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023
72023
Verification assisted gas reduction for smart contracts
B Gao, S Shen, L Shi, J Li, J Sun, L Bu
2021 28th Asia-Pacific Software Engineering Conference (APSEC), 264-274, 2021
62021
Classification-based parameter synthesis for parametric timed automata
J Li, J Sun, B Gao, É André
Formal Methods and Software Engineering: 19th International Conference on …, 2017
62017
sverify: Verifying smart contracts through lazy annotation and learning
B Gao, L Shi, J Li, J Chang, J Sun, Z Yang
Leveraging Applications of Formal Methods, Verification and Validation: 10th …, 2021
22021
SOCRATES: Towards a Unified Platform for Neural Network Analysis
LH Pham, J Li, J Sun
arXiv preprint arXiv:2007.11206, 2020
22020
ReLU Hull Approximation
Z Ma, J Li, G Bai
Proceedings of the ACM on Programming Languages 8 (POPL), 2260-2287, 2024
12024
Scaling BDD-based Timed Verification with Simulation Reduction
TK Nguyen, TH Tan, J Sun, J Li, Y Liu, M Chen, JS Dong
Formal Methods and Software Engineering: 18th International Conference on …, 2016
12016
Towards an Effective and Interpretable Refinement Approach for DNN Verification
J Li, G Bai, LH Pham, J Sun
2023 IEEE 23rd International Conference on Software Quality, Reliability …, 2023
2023
系统目前无法执行此操作，请稍后再试。
文章 1–10