6 citations · 8 across the 8 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.SE2025★ 1 cited
AutoICE: Automatically Synthesizing Verifiable C Code via LLM-driven Evolution
Weilin Luo, Xueyi Liang, Haotian Deng +2
Automatically synthesizing verifiable code from natural language requirements ensures software correctness and reliability while significantly lowering the barrier to adopting the…
cs.CL2025
SCoRE: Benchmarking Long-Chain Reasoning in Commonsense Scenarios
Weidong Zhan, Yue Wang, Nan Hu +12
Currently, long-chain reasoning remains a key challenge for large language models (LLMs) because natural texts lack sufficient explicit reasoning data. However, existing benchmarks…