الباحثون

Kun Sun

المنشورات 3

نسخة أولية وصول مفتوح

RGDT-Bench: Benchmarking LLM Reasoning for Rule-Governed Decisions and Their Justifications

Jianpeng Zhao, Haihua Xu, Haoyang Zhang وآخرون · 2026

We study reasoning in Rule-Governed Decision Tasks (RGDTs), where models apply external rules to case facts and justify decisions, as required in policy, contract, and compliance settings. Beyond the deductive capability emphasized by standard mathematical and logical reasoning tasks, RGDTs require interpreting rules a …

نسخة أولية وصول مفتوح

C-to-Rust Fallacy: Automatic Refactoring!= Memory Security

Hung-Mao Chen, Xu He, Bo Lu وآخرون · 2026

Rust has emerged as the leading system programming language, offering strong memory and type safety guarantees without compromising performance. This positions it as a compelling alternative to traditional languages like C and C++, which are susceptible to memory security bugs. However, manually transforming C to Rust …

المؤلفون المشاركون