1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.SE2025★ 1 cited
Low-Cost and Comprehensive Non-textual Input Fuzzing with LLM-Synthesized Input Generators
Kunpeng Zhang, Zongjie Li, Daoyuan Wu +2
Modern software often accepts inputs with highly complex grammars. Recent advances in large language models (LLMs) have shown that they can be used to synthesize high-quality natur…
cs.LO2024
A Qualitative Analysis of Kernel Extension for Higher Order Proof Checking
Shuai Wang
For the sake of reliability, the kernels of Interactive Theorem Provers (ITPs) are generally kept relatively small. On top of the kernel, additional symbols and inference rules are…
cs.LO2024
ProofCloud: A Proof Retrieval Engine for Verified Proofs in Higher Order Logic
Shuai Wang
This paper introduces ProofCloud, a proof retrieval engine for verified proofs in higher order logic. It provides a fast proof searching service for mathematicians and computer sci…