DatalogBench

What is DatalogBench?

Datalog underpins reasoning tasks such as program analysis, but its programs are hard to write. Benchmark Radar tracks DatalogBench, cited by 1 source…

Released

2026-09-29

Evaluates

Code & Software, General AI, cs.PL

Openness

unknown

Importer

Claire Radar

Review status

rule-auto-admitted

Reported scores

0

Source provenance

• Original evidence https://arxiv.org/abs/2609.37233

DatalogBench paper

• Paper https://arxiv.org/abs/2609.37233

Which sources cite DatalogBench?

• DatalogBench

Related Code & Software, General AI, cs.PL benchmarks

• $\tau^\tau$-Bench: An Environment for End-To-End, Realistic Agent Construction
• 2d-fet-bench
• 3DCodeBench
• 5-Dialects-BN
• A Real-World CAD Segmentation Benchmark
• A3S-Bench
• AARRI-Bench
• ABACUS