conftrace_

local guidance

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

configuration-based solver (1) spatiotemporal planning (1) large language model (1) step-by-step reasoning (1) step-by-step verification (1) multi-agent path finding (1) trajectory planning (1) automated theorem proving (1) language model (1) reinforcement learning (1)

Papers

Local Guidance for Configuration-Based Multi-Agent Pathfinding AAAI 2026 Local Look-Ahead Guidance via Verifier-in-the-Loop for Automated Theorem Proving ACL 2025