Author

Fan Gao

h-index 0 View on Semantic Scholar

We have 1 of 1 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.

#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