DatalogBench: Evaluating Large Language Models on Text-to-Datalog Synthesis

arXiv:2609.37233v1 Announce Type: cross Abstract: Datalog underpins reasoning tasks such as program analysis, but its programs are hard to write. Existing synthesizers automate this task but require users to state their intent as input-output…

Read the full story at arXiv cs.AI ↗