Fingerprint
Dive into the research topics where Jianqi Shi is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
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. (eds.). Springer Science and Business Media Deutschland GmbH, p. 42-59 18 p. (Lecture Notes in Computer Science; vol. 16229 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
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, p. 6-10 5 p. (Proceedings - International Conference on Software Engineering).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Link opens in a new tab Scopus citations -
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 Apr 2024, In: IEEE Transactions on Computers. 73, 4, p. 1048-1059 12 p.Research output: Contribution to journal › Article › peer-review
4 Link opens in a new tab Scopus citations -
Computing minimal unsatisfiable core for LTL over finite traces
Niu, T., Xiao, S., Zhang, X., Li, J., Huang, Y. & Shi, J., 1 Oct 2024, In: Journal of Logic and Computation. 34, 7, p. 1274-1294 21 p.Research output: Contribution to journal › Article › peer-review
2 Link opens in a new tab Scopus citations -
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. (eds.). Springer Science and Business Media Deutschland GmbH, p. 146-161 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15394 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review