arXiv AI
Aug 17
Implementing Computational Law in Wolfram Language for the Governance of Artificial Intelligence
arXiv:2608. 13958v1 Announce Type: new Abstract: How do we govern AI systems whose reasoning we cannot fully inspect?
Legislating World-Model-Based Planning with Legal Reasoning
Related stories
arXiv AI
Jun 24
Neuro-Symbolic Drive: Rule-Grounded Faithful Reasoning for Driving VLAs
arXiv:2606. 23938v1 Announce Type: new Abstract: Driving VLA models incorporating Chain-of-Thought (CoT) reasoning are attractive because they leverage pretrained VLM representations and expose intermediate decisions in natural language, yet current rationales often lack the step-by-step decision semantics needed to keep the rationale causally connected to the planned motion.
arXiv AI
Jun 30
CLMASP: Coupling Large Language Models with Answer Set Programming for Robotic Task Planning
arXiv:2406. 03367v2 Announce Type: replace Abstract: Large Language Models (LLMs) possess extensive foundational knowledge and moderate reasoning abilities, making them suitable for general task planning in open-world scenarios.
arXiv AI
Aug 6
Towards a New Grammar of Reasoning for Artificial Legal Intelligence and the Mecelle as Its Semantic Protocol
arXiv:2608. 04011v1 Announce Type: cross Abstract: This article examines the enduring epistemic and methodological crisis of traditional legal practice in light of the opportunities and constraints introduced by artificial intelligence.
arXiv AI
Aug 13
Agent Safety Should Be a Runtime Contract
arXiv:2608. 11274v1 Announce Type: cross Abstract: The dominant paradigm treats AI safety as a property to be instilled during model training via RLHF, DPO, or Constitutional AI.
arXiv AI
3d ago
DynaHarness: A Dynamic Physical Harness for Self-Evolving Robot Agents
arXiv:2609.40306v1 Announce Type: cross Abstract: Pretrained robot policies provide useful action priors, but long-horizon manipulation still requires coordination between semantic reasoning and phys...
arXiv AI
Jun 30
Agent Safety Is Action Alignment
arXiv:2606. 28739v1 Announce Type: new Abstract: Large language models increasingly act as agents: they call tools, move money, delete records, and send messages on a user's behalf.
arXiv AI
Jun 4
DAR: Deontic Reasoning with Agentic Harnesses
arXiv:2606. 05009v1 Announce Type: cross Abstract: Deontic reasoning is the task of answering questions by applying explicit rules and policies to case-specific facts, for example computing tax liability under a statute or determining the outcome of an immigration appeal.
arXiv AI
Jun 26
WatchAct: A Benchmark for Behavior-Grounded Robot Manipulation
arXiv:2606. 26443v1 Announce Type: cross Abstract: A robot working alongside people must reason about what they have done, in what order, and with what intent.
arXiv AI
Aug 11
Agentic Harnesses: LLM-Driven Verification Layers for Robot Autonomy
arXiv:2608. 09857v1 Announce Type: cross Abstract: Advances in advanced artificial intelligence tools have sparked research in robot autonomy, but the development of such systems has largely focused on execution rather than verifying the feasibility actions planning models propose.
arXiv Computation and Language
Sep 22
Directing large language models to follow the letter or spirit of the law
arXiv:2609.23083v1 Announce Type: new Abstract: The distinction between the spirit and letter of the law is a central issue across research and everyday life, and a growing concern for building safe,...
arXiv AI
Aug 25
Physical Agentic AI: An Architecture for Orchestrating a Robot Crew with LLMs
Physical Agentic AI proposes an architecture that links semantic planning with physical execution for robot crews. Each robot exposes a typed skill library, while a foundation model planner decomposes tasks into phases and assigns robot‑skill pairs. A Robot Orchestrator validates and authorizes one skill at a time, ensuring actions are grounded in robot capabilities, system state, and workflow constraints before actuation.