DatalogBench: Evaluating Large Language Models on Text-to-Datalog Synthesis
DGX agentarXiv: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 u