4 papers
Can LLMs Recover Program Semantics? A Systematic Evaluation with Symbolic Execution
Rong Feng, Suman Saha
Obfuscation poses a persistent challenge for software engineering tasks such as program comprehension, maintenance, testing, and vulnerability detection. While compiler optimizatio…
Can Large Language Models Simulate Symbolic Execution Output Like KLEE?
Rong Feng, Vanisha Gupta, Vivek Patel +2
Symbolic execution helps check programs by exploring different paths based on symbolic inputs. Tools like KLEE are commonly used because they can automatically detect bugs and crea…
On the Existence and Nonexistence of Splitter Sets
Zhiyu Yuan, Rongquan Feng, Gennian Ge
In this paper, the existence of perfect and quasi-perfect splitter sets in finite abelian groups is studied, motivated by their application in coding theory for flash memory storag…
Crossmodal Knowledge Distillation with WordNet-Relaxed Text Embeddings for Robust Image Classification
Chenqi Guo, Mengshuo Rong, Qianli Feng +2
Crossmodal knowledge distillation (KD) aims to enhance a unimodal student using a multimodal teacher model. In particular, when the teacher's modalities include the student's, addi…