Research questionHow can sequential construction search exploit terminal symmetries while preserving history-dependent process information?Equivalent final outcomes can conceal different action orders and process histories, so transferring information between them may discard distinctions needed during construction. Search must also produce useful verified results before the construction process is complete. Latest papersRecent research connected to this question, newest first.Terminal Symmetry as a Carrier of Asymmetric Process Knowledge: Statewise Refinement for Anytime Verified ConstructionThe setting is anytime verified sequential construction search, evaluated on CAD assembly, Mini-Programs, exact-fill packing, and geometric-reasoning target removal. The evidence covers SymBuild and related refresh, aggregation, planning, and learned-scoring instantiations, with reported measurements of verified success, verifier queries, and learned state evaluations.research paper · Sep 10, 2026