DatalogBench: Evaluating Large Language Models on Text-to-Datalog Synthesis
cs.PL, cs.AI
Submitted: 2026-09-29
Updated: 2026-09-29
Code: https://github.com/ZJU-PL/DatalogBench
Sources
- Evaluating Large Language Models Trained on Code
- DeepSeek-V4: Towards Highly Efficient Million-Token Context Intelligence
- Principles and Practices of Large-Scale Code Analysis at Ant Group: A Data- and Logic-Oriented Approach
- Neurosymbolic Repo-level Code Localization
- Seq2SQL: Generating Structured Queries from Natural Language using Reinforcement Learning
Related papers
- Language-Based Agent Control
- ANEForge: Python for direct computation on the Apple Neural Engine
- Volition Elicitation: Operational Semantics for People and Their Machines
- Griotte: Verified Compartmentalisation via Capabilities
- GraphMend: Code Transformations for Fixing Graph Breaks in PyTorch 2
- Two Birds One Stone: Effective Static Detection of Resource and Communication Deadlocks in Rust Programs