#datalog News & Analysis

3 articles tagged with #datalog. AI-curated summaries with sentiment analysis and key takeaways from 50+ sources.

3 articles

AIBullisharXiv – CS AI · Jun 237/10

🧠

VADAOrchestra: Neurosymbolic Orchestration of Adaptive Reasoning Workflows

Researchers introduce VADAOrchestra, a neurosymbolic framework that combines Large Language Model-based orchestration with symbolic logic programming to execute complex, adaptive workflows. The system addresses key limitations of both traditional business process management and pure LLM-based agents by providing verifiable reasoning traces, improved scalability, and explainability while maintaining runtime adaptability.

AINeutralarXiv – CS AI · May 116/10

🧠

Parallel Lifted Planning via Semi-Naive Datalog Evaluation

Researchers have developed a parallel lifted planning algorithm using semi-naive Datalog evaluation that significantly accelerates classical AI planning by combining rule-level and grounding-level parallelism. The approach achieves up to 6-fold speedup on 8 cores and solves more planning tasks than existing baselines, particularly on computationally intensive grounding operations.

AINeutralarXiv – CS AI · May 46/10

🧠

Semia: Auditing Agent Skills via Constraint-Guided Representation Synthesis

Semia is a static auditor for LLM-driven agent skills that uses constraint-guided synthesis to analyze security risks in hybrid code-and-prose configurations. Testing 13,728 real-world skills from public marketplaces, Semia identified critical semantic vulnerabilities in over half and achieved 97.7% recall, significantly outperforming existing security tools.