conftrace_

backtracking mechanism

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

tactic prediction (1) waypoint nodes (1) planning domain (1) interactive theorem proving (1) parallel search (1) semantic attachment (1) robotics simulator (1) spatial constraint (1) gui agent (1) task completion (1)

Papers

BacktrackAgent: Enhancing GUI Agent with Error Detection and Backtracking Mechanism EMNLP 2025 GC-VLN: Instruction as Graph Constraints for Training-free Vision-and-Language Navigation CoRL 2025 TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning NeurIPS 2021 Semantic Attachments for HTN Planning AAAI 2020