Radar Live
✦ Ask AI
AI INTELLIGENCE & SIGNALS

Deogen: Automatic Benchmark Generation for Reasoning over Policies

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

Tín hiệu Radar

64 RADAR
Research LLM Evaluation & Deontic Reasoning · 1 nguồn đối chiếu · 2026-10-28 18:56:59 +0000 UTC

Deogen: Automatic Benchmark Generation for Reasoning over Policies

Nguồn: arXiv AI
↗

DeoGen là công cụ tạo benchmark tự động và có thể tham số hóa dành cho đánh giá năng lực suy luận theo quy tắc (deontic reasoning) của LLM. Bằng cách chuyển đổi chính sách sang logic bậc một để dựng cây quyết định, DeoGen kiểm tra cả khả năng đưa ra phán quyết khi đủ dữ liệu và khả năng từ chối phán quyết khi thiếu thông tin. Thực nghiệm cho thấy các mô hình biên giới đạt 89-92% khi đủ dữ kiện nhưng tụt xuống chỉ còn 22-40% khi thiếu thông tin cần thiết.

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

Khi LLM ngày càng được đưa vào các ngành đòi hỏi tuân thủ nghiêm ngặt, việc biết dừng lại và từ chối phán quyết khi thiếu thông tin là yếu tố an toàn sống còn. DeoGen cung cấp phương pháp đánh giá tự động, có khả năng mở rộng để đo lường chính xác điểm yếu này của mô hình biên giới.

Developer 71
Business 76
Novelty 80
Actionable 72

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.

Language models are increasingly being deployed in regulated settings, where a model must apply given rules to the facts of a situation to determine a verdict. Benchmarking this capability, known as deontic reasoning, remains a costly and manual process, with existing datasets largely hand-crafted. In this paper, we present DeoGen, a scalable, automatic, and parametrizable benchmark generator for deontic reasoning. By autoformalizing policy rules to first-order logic, we can construct decision trees that capture possible outcome trajectories. Each path down a tree becomes a benchmark entry, with each tree producing combinatorially many entries relative to tree depth. Paths ending at a leaf entail a verdict, while non-leaf paths measure a model's ability to abstain when presented with insufficient information. Evaluations show frontier models return the correct verdict 89-92% of the time. Notably, performance degrades (22-40% correct) on entries without sufficient information to claim a verdict, even with explicit instructions to abstain in such cases. In all, DeoGen presents an automatic, scalable, and parametric method for generating deontic reasoning benchmarks.

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-10-30 10:08:11 +0000 UTC
{"tags": ["DeoGen", "Deontic Reasoning", "LLM Evaluation", "Benchmark Generation", "First-Order Logic", "Decision Trees", "Compliance", "Model Abstention"], "risks": ["Mô hình ngôn ngữ có nguy cơ cao đưa ra phán quyết sai hoặc bịa đặt (hallucination) trong các tình huống thực tế thiếu dữ kiện pháp lý, dẫn đến rủi ro pháp lý/tài chính.", "Chất lượng benchmark phụ thuộc vào độ chính xác của quá trình tự động hình thức hóa chính sách thành logic bậc một (autoformalization)."], "category": "Research", "entities": ["DeoGen"], "summary_vi": "DeoGen là công cụ tạo benchmark tự động và có thể tham số hóa dành cho đánh giá năng lực suy luận theo quy tắc (deontic reasoning) của LLM. Bằng cách chuyển đổi chính sách sang logic bậc một để dựng cây quyết định, DeoGen kiểm tra cả khả năng đưa ra phán quyết khi đủ dữ liệu và khả năng từ chối phán quyết khi thiếu thông tin. Thực nghiệm cho thấy các mô hình biên giới đạt 89-92% khi đủ dữ kiện nhưng tụt xuống chỉ còn 22-40% khi thiếu thông tin cần thiết.", "key_changes": ["Giới thiệu DeoGen: công cụ tự động tạo benchmark cho suy luận tuân thủ quy tắc (deontic reasoning), thay thế quy trình thủ công tốn kém.", "Chuyển đổi quy tắc chính sách sang logic bậc một (first-order logic) và tạo cây quyết định mô phỏng các kịch bản kết quả.", "Tạo tập dữ liệu tổ hợp theo độ sâu của cây: nhánh kết thúc tại nút lá đánh giá phán quyết đúng/sai, nhánh lửng đánh giá khả năng từ chối đưa ra phán quyết (abstain) khi thiếu dữ liệu.", "Phát hiện lỗ hổng lớn: các mô hình hàng đầu đạt 89-92% khi đủ dữ kiện nhưng sụt giảm xuống 22-40% khi thiếu thông tin, có xu hướng tự phán đoán thay vì từ chối dù có hướng dẫn rõ ràng."], "sub_category": "LLM Evaluation & Deontic Reasoning", "novelty_score": 80, "business_score": 82, "research_score": 85, "why_it_matters": "Khi LLM ngày càng được đưa vào các ngành đòi hỏi tuân thủ nghiêm ngặt, việc biết dừng lại và từ chối phán quyết khi thiếu thông tin là yếu tố an toàn sống còn. DeoGen cung cấp phương pháp đánh giá tự động, có khả năng mở rộng để đo lường chính xác điểm yếu này của mô hình biên giới.", "developer_score": 75, "importance_score": 80, "possible_use_cases": ["Đánh giá tự động năng lực tuân thủ quy chuẩn của LLM trong các ngành có quản lý chặt chẽ như tài chính, pháp lý, y tế.", "Tạo bộ dữ liệu kiểm thử (stress-test) cho AI agent về khả năng phát hiện thiếu thông tin và yêu cầu người dùng bổ sung trước khi kết luận.", "Đưa vào pipeline đánh giá an toàn và kiểm định AI (safety & compliance evaluation) trước khi triển khai thực tế."], "actionability_score": 72}
← Trang trước Trang 1