conftrace_

formal language domain

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

planning benchmark (1) openai o1 (1) planning domain (1) large language model (1) multi-step reasoning (1) reasoning task (1) reasoning capability (1)

Papers

ACPBench: Reasoning About Action, Change, and Planning AAAI 2025