CBCL is a homoiconic agent communication language constrained to DCFL with three Lean 4 machine-checked invariants that prevent unbounded expansion, enforce resource limits, and preserve core vocabulary.
Reliable reasoning beyond natural language: A neurosymbolic approach
4 Pith papers cite this work. Polarity classification is still indexing.
4
Pith papers citing it
representative citing papers
PrologMCP is a standardized MCP server for Prolog that lets LLM agents delegate inference, achieving near-perfect accuracy on PARARULE-Plus subsets where reasoning LLMs drop to 0.94-0.95.
AUTOBUS is a neuro-symbolic architecture that uses AI agents to generate executable logic programs from business instructions and knowledge graphs for end-to-end process automation with human supervision.
citing papers explorer
-
CBCL: Safe Self-Extending Agent Communication
CBCL is a homoiconic agent communication language constrained to DCFL with three Lean 4 machine-checked invariants that prevent unbounded expansion, enforce resource limits, and preserve core vocabulary.
-
PrologMCP: A Standardized Prolog Tool Interface for LLM Agents
PrologMCP is a standardized MCP server for Prolog that lets LLM agents delegate inference, achieving near-perfect accuracy on PARARULE-Plus subsets where reasoning LLMs drop to 0.94-0.95.
-
Autonomous Business System via Neuro-symbolic AI
AUTOBUS is a neuro-symbolic architecture that uses AI agents to generate executable logic programs from business instructions and knowledge graphs for end-to-end process automation with human supervision.
- Training Language Models to Use Prolog as a Tool