Author

Jianwen Li

h-index 2 View on Semantic Scholar

We have 2 of 18 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Jul 2026

BTOR2-Based C Program Verification via Hardware Model Checking

C2Btor, a method for encoding verification tasks into BTOR2 models that allows C program verification to benefit from advances in hardware model-checking backends, expanding the available capability for counterexample search, inductive safety proving, and word-level transition-system reasoning.

Xinyu Zhang, Runxuan Fang, Ziqun Bao et al. · arXiv.org · 0 citations

#small language model Open access Aug 2026

LoMax: LLM‐Driven Local Code Optimization for MaxSAT Solvers

LoMax is presented, a plug‐and‐play framework that leverages an LLM to perform local code optimization for MaxSAT solvers, providing empirical evidence that LLM‐driven local code rewriting can improve the performance of industrial MaxSAT solvers in the evaluated settings.

Fan Gao, Yanhong Huang, Jian-Wen Li et al. · Concurrency and Computation · 0 citations