activity
20222026
most citedStatic Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing 2026Show all

2 papers · 1 filter

cs.PL2026

Automatically Building Machine-Checked Assurance Cases from C Codebases to Requirements

Haokun Li, Zhongyi Wang, Guanyan Li +4

Large language models (LLMs) have shown promise in automating interactive theorem proving, yet verification of real-world C codebases requires more than discharging individual proo…

cs.SE2026

EchoFuzz: Empowering Smart Contract Fuzzing with Large Language Models

Juanen Li, Peng Qian, Guanyan Li +6

Smart contracts, serving as the cornerstone of decentralized applications, autonomously manage trillion-dollar digital assets, making them attractive targets for attacks. Fuzzing h…