atlas

Research map / Large language models / Agents, code and math

RuAG: Learned-rule-augmented Generation for Large Language Models

ICLR 2025 · Large language models › Agents, code and math · approach: Mathematical and structural reasoning benchmarks · 0 citations (OpenAlex)

Read the paperCheck your idea against 108,967 papers

AI-extracted summary. Written by AI from the paper's full text. Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.

Proposes RuAG, which uses LLM-formulated predicates and MCTS to distill offline data into first-order logic rules that are translated to natural language and injected into LLM prompts, evaluated on relation extraction, log anomaly detection, a cooperative game, and an industrial fraud task.

Problem

LLM reasoning needs domain knowledge from large external datasets, but ICL and RAG are limited by context window size, and fine-tuning and knowledge graphs are costly or hard to scale.

Approach

LLMs define target and body predicates from commonsense to shrink the search space, MCTS searches for first-order logic rules over data, and the resulting rules are translated into natural language and placed in prompts instead of raw demonstrations.

Key results

Measured effects reported in the paper

What was changedWhereMeasuredEffect
replace HtT with learned-rule-augmented generationGPT-4 relation extraction on DWIE · DWIE testF1: 52.59\% -> 60.42\%Helped
use learned-rule-augmented generation instead of LogRobustHDFS anomaly detection · HDFS testF1: 87.31\% -> 92.59Helped
use RuAG instead of the Grounded policyAlice&Bob · Alice&BobWR: 0.9 -> 0.7Hurt
add MCTS-extracted rule guidanceGPT-4 Unauthorized Party Abuse detection · Unauthorized Party AbuseF1: 22.64\% -> 96\%Helped
add CoT without rules (ablation)GPT-3.5 relation extraction · DWIEF1: 18.94\% -> 19.85\%Helped
add rule guidance (ablation)GPT-3.5 relation extraction · DWIEF1: 18.94\% -> 26.63\%Helped
add CoT without rules (ablation)GPT-4 HDFS anomaly detection · HDFSF1: 60.10\% -> 76.11\%Helped
add rule guidance (ablation)GPT-4 HDFS anomaly detection · HDFSF1: 60.10\% -> 92.59\%Helped
add CoT without rules (ablation)GPT-4 Alice&Bob · Alice&BobWR: 0.0 -> 0.0No clear effect
add rule guidance (ablation)GPT-4 Alice&Bob · Alice&BobWR: 0.0 -> 0.7Helped
increase MCTS search episodes from 50 to 1000 (ablation)relation extraction rule search · Relation extraction rulesPrecision: 100\% -> 95.65\%Hurt
increase MCTS search episodes from 50 to 500 (ablation)anomaly detection rule search · Anomaly detection rulesF1: 65.75\%\% -> 91.30\%Helped

Surprising findings

Limitations

Experimental setup

Datasets: DWIE HDFS Alice&Bob trajectories private UPA fraud dataset

Benchmarks: DWIE HDFS Alice&Bob private UPA abuse detection

Metrics: F1 precision recall accumulative reward win rate average episode length

Baselines: CNN BiLSTM BERT Context-Aware HtT LogCluster DeepLog LogRobust LogGPT Behavior Cloning Offline Tabular Q PLLB

Builds on: Monte Carlo Tree Search HtT ICL RAG

Closest papers by meaning

Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.

Open scime draft

Get the next scime Dispatch and a monthly field update

Free. We send a confirmation link first; every email has a one-click unsubscribe. Privacy