Datalog underpins reasoning tasks such as program analysis, but its programs are hard to write. Existing synthesizers automate this task but require users to…
机构:浙大
来源:arXiv 2609.37233 | AI4Papers 论文推荐平台