DatalogBench: Evaluating Large Language Models on Text-to-Datalog Synthesis
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 examples. Large language models (LLMs) suggest a more natural route, text-to-Datalog synthesis from a natural-language question...
Yuan Li, Han-Yun Jiang, Guo-Wei Tian et al.
· 0 citations