3 citations · 5 across the 6 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.SE2026
Dependency-Guided Repository-Level C-to-Rust Translation with Reinforcement Alignment
Jia Feng, Wenjie Gan, Cuiyun Gao +5
Automating C-to-Rust migration is critical for improving software security without sacrificing performance. Traditional rule-based methods struggle with diverse C idioms, often pro…
cs.CL2026
Evaluating the Formal Reasoning Capabilities of Large Language Models through Chomsky Hierarchy
Yihong Dong, Jianha Xiao, Xue Jiang +7
The formal reasoning capabilities of LLMs are crucial for advancing automated software engineering. However, existing benchmarks for LLMs lack systematic evaluation based on comput…