Radar Live
✦ Ask AI
AI INTELLIGENCE & SIGNALS

Can LLMs Reason About Runtime Behavior? A Repository-Level Dynamic Benchmark

Phân tích đã xử lý trước và các nguồn liên quan.

Tín hiệu Radar

66 RADAR
Research Code Intelligence & Benchmarking · 1 nguồn đối chiếu · 2026-09-23 17:46:50 +0000 UTC

Can LLMs Reason About Runtime Behavior? A Repository-Level Dynamic Benchmark

Nguồn: arXiv AI
↗

Nghiên cứu giới thiệu SWE-Flux, benchmark cấp repository đầu tiên đánh giá năng lực suy luận thực thi động của LLM gồm 480 trường hợp trên 12 repository Python thực tế. Đáp án chuẩn được trích xuất tự động qua công cụ đo kiểm (instrumentation) khi chạy test thay vì dùng LLM hay người đánh giá. Thử nghiệm trên 5 LLM cho thấy nhiệm vụ này rất khó khi mô hình đạt kết quả cao nhất chỉ đạt 37% độ chính xác, đặc biệt yếu trong việc suy luận luồng dữ liệu liên thủ tục, theo dõi trạng thái chính xác và tổng hợp cấp suite. Nghiên cứu cũng đề xuất pipeline tự động sinh biến thể benchmark bằng xáo trộn đầu vào với tỷ lệ thành công gần 90%.

✦ TÁC ĐỘNG & GIÁ TRỊ THỰC TIỄN

Phần lớn các benchmark hiện nay chỉ đánh giá khả năng hiểu mã tĩnh hoặc các đoạn mã hàm đơn lẻ. SWE-Flux chứng minh khoảng trống năng lực cốt lõi của các LLM hàng đầu (chỉ đạt tối đa 37%) trong việc suy luận hành vi runtime ở cấp độ toàn dự án. Kết quả này khẳng định AI muốn hỗ trợ kỹ thuật phần mềm hiệu quả không thể chỉ dựa vào phân tích mã tĩnh mà bắt buộc phải có khả năng suy luận động và tích hợp môi trường thực thi.

Developer 78
Business 61
Novelty 82
Actionable 68

Nội dung thu thập đã chuẩn hóa

Collected Evidence

Nội dung văn bản được dùng làm dữ liệu đối chứng cho mô hình AI, không phải chỉ thị hệ thống.

Large language models (LLMs) are increasingly used in coding tasks, but their ability to reason about code execution remains unclear. Existing repository-level QA benchmarks mainly evaluate static code understanding and often rely on LLM-based evaluation, while execution-reasoning benchmarks are mostly limited to snippets or functions. We introduce SWE-Flux, a repository-level benchmark for dynamic execution reasoning containing 480 execution-grounded instances across 12 real Python repositories, with gold answers automatically harvested from instrumented test executions rather than written manually or judged by LLMs. The benchmark covers singletest and multi-test questions over control flow, loops, program state, dataflow, exceptions, and program invariants. Evaluating five LLMs shows that this task remains challenging. The best model achieves only 37% accuracy. Models perform better on localized behavior such as invariants, intra-procedural control flow, exceptions, and simple loops, but struggle with dataflow, inter-procedural execution, precise state reasoning, and suite-level aggregation. Finally, we show that the oracle-harvesting pipeline can generate fresh benchmark variants using input perturbation. It successfully harvests valid variants for almost 90% of the selected instances, and the resulting variants are substantially more challenging for the evaluated models.

Các nguồn đối chiếu cho sự kiện này

1 nguồn
Thông tin phân tích AI & Model Details ▾
Provider: openai-compatible · Model: gemini-3.8-flash-high · Version: analysis-v1 · Time: 2026-09-24 09:54:16 +0000 UTC
{"tags": ["SWE-Flux", "LLM", "Dynamic Execution", "Code Reasoning", "Benchmark", "Python", "Software Engineering"], "risks": ["Độ chính xác suy luận thực thi của các LLM hiện tại rất thấp (tối đa 37%), dẫn đến nguy cơ cao mắc sai lầm nếu phụ thuộc vào AI để gỡ lỗi hoặc suy luận runtime phức tạp.", "Khả năng theo dõi trạng thái và luồng dữ liệu liên thủ tục kém dễ dẫn đến việc AI đề xuất các bản vá gây tác dụng phụ ngoài ý muốn ở runtime.", "Phạm vi đánh giá hiện mới tập trung trên 12 repository Python, cần kiểm chứng mở rộng trên các hệ sinh thái ngôn ngữ khác."], "category": "Research", "entities": ["SWE-Flux", "Python"], "summary_vi": "Nghiên cứu giới thiệu SWE-Flux, benchmark cấp repository đầu tiên đánh giá năng lực suy luận thực thi động của LLM gồm 480 trường hợp trên 12 repository Python thực tế. Đáp án chuẩn được trích xuất tự động qua công cụ đo kiểm (instrumentation) khi chạy test thay vì dùng LLM hay người đánh giá. Thử nghiệm trên 5 LLM cho thấy nhiệm vụ này rất khó khi mô hình đạt kết quả cao nhất chỉ đạt 37% độ chính xác, đặc biệt yếu trong việc suy luận luồng dữ liệu liên thủ tục, theo dõi trạng thái chính xác và tổng hợp cấp suite. Nghiên cứu cũng đề xuất pipeline tự động sinh biến thể benchmark bằng xáo trộn đầu vào với tỷ lệ thành công gần 90%.", "key_changes": ["Ra mắt SWE-Flux: benchmark cấp repository đầu tiên đánh giá khả năng suy luận thực thi động với 480 trường hợp thực tế trên 12 repository Python.", "Tự động thu thập đáp án chuẩn từ kết quả chạy test có gắn instrumentation thay vì viết thủ công hoặc dùng LLM judge.", "Bao phủ các khía cạnh runtime phức tạp gồm luồng điều khiển, vòng lặp, trạng thái chương trình, luồng dữ liệu (dataflow), ngoại lệ và bất biến chương trình.", "Kết quả đánh giá 5 LLM cho thấy thách thức lớn: mô hình tốt nhất chỉ đạt 37% độ chính xác, gặp khó khăn nghiêm trọng ở luồng dữ liệu liên thủ tục và tổng hợp cấp test suite.", "Xây dựng pipeline oracle-harvesting có khả năng tự động tạo biến thể benchmark mới bằng xáo trộn đầu vào (input perturbation) thành công trên gần 90% trường hợp."], "sub_category": "Code Intelligence & Benchmarking", "novelty_score": 82, "business_score": 58, "research_score": 88, "why_it_matters": "Phần lớn các benchmark hiện nay chỉ đánh giá khả năng hiểu mã tĩnh hoặc các đoạn mã hàm đơn lẻ. SWE-Flux chứng minh khoảng trống năng lực cốt lõi của các LLM hàng đầu (chỉ đạt tối đa 37%) trong việc suy luận hành vi runtime ở cấp độ toàn dự án. Kết quả này khẳng định AI muốn hỗ trợ kỹ thuật phần mềm hiệu quả không thể chỉ dựa vào phân tích mã tĩnh mà bắt buộc phải có khả năng suy luận động và tích hợp môi trường thực thi.", "developer_score": 85, "importance_score": 78, "possible_use_cases": ["Đánh giá và định chuẩn (benchmark) năng lực suy luận hành vi thực thi của các LLM và AI coding agent trước khi triển khai thực tế.", "Tạo bộ dữ liệu kiểm thử và đánh giá liên tục chống rò rỉ dữ liệu nhờ pipeline sinh biến thể tự động bằng xáo trộn đầu vào.", "Định hướng thiết kế AI coding agent tích hợp công cụ phân tích động (dynamic analysis/instrumentation) để bổ trợ cho việc chỉ phân tích mã tĩnh.", "Làm tiêu chuẩn đánh giá trong quá trình huấn luyện và tinh chỉnh (fine-tuning) các mô hình hỗ trợ gỡ lỗi (debugging) và kiểm thử phần mềm."], "actionability_score": 68}