指纹
深入其中 Jianqi Shi 为活跃的研究主题。这些主题标签来自此人的成果。它们共同形成唯一的指纹。
- 1 相似简介
最近五年的合作关系和顶尖研究领域
最近的国家/地区级外部合作关系。点击圆点，以了解详细信息或
-
LLM-SYM: Integrating Symbolic Methods and Large Language Models for Automated Theorem Proving
Wu, Y., Huang, Y. & Shi, J., 2026, Formal Methods and Software Engineering - 26th International Conference on Formal Engineering Methods, ICFEM 2025, Proceedings. André, É., Wang, J. & Zhan, N. (编辑). Springer Science and Business Media Deutschland GmbH, 页码 42-59 18 页码 (Lecture Notes in Computer Science; 卷 16229 LNCS).科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审
-
SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation
Sheng, J., Lin, Y., Wu, J., Huang, Y., Shi, J., Zhang, M. & Wang, X., 2025, Proceedings - 2025 IEEE/ACM 47th International Conference on Software Engineering: New Ideas and Emerging Results, ICSE-NIER 2025. IEEE Computer Society, 页码 6-10 5 页码 (Proceedings - International Conference on Software Engineering).科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审
1 链接将在新标签页中打开 引用 （Scopus） -
Automated Test Cases Generator for IEC 61131-3 Structured Text Based Dynamic Symbolic Execution
Shi, J., Chen, Y., Li, Q., Huang, Y., Yang, Y. & Zhao, M., 1 4月 2024, 在: IEEE Transactions on Computers. 73, 4, 页码 1048-1059 12 页码科研成果: 期刊稿件 › 文章 › 同行评审
3 链接将在新标签页中打开 引用 （Scopus） -
Computing minimal unsatisfiable core for LTL over finite traces
Niu, T., Xiao, S., Zhang, X., Li, J., Huang, Y. & Shi, J., 1 10月 2024, 在: Journal of Logic and Computation. 34, 7, 页码 1274-1294 21 页码科研成果: 期刊稿件 › 文章 › 同行评审
2 链接将在新标签页中打开 引用 （Scopus） -
Graph Convolutional Network Robustness Verification Algorithm Based on Dual Approximation
An, D., Zhang, H., Zhao, Q., Liu, J., Shi, J., Huang, Y., Yang, Y., Liu, X. & Qin, S., 2024, Formal Methods and Software Engineering - 25th International Conference on Formal Engineering Methods, ICFEM 2024, Proceedings. Ogata, K., Mery, D., Sun, M. & Liu, S. (编辑). Springer Science and Business Media Deutschland GmbH, 页码 146-161 16 页码 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 15394 LNCS).科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审