כתבה
arXiv cs.LG ·
סימטריה סופית כנושאת ידע תהליכי א-סימטרי
Terminal Symmetry as a Carrier of Asymmetric Process Knowledge: Statewise Refinement for Anytime Verified Construction
SymBuild משפרת בנייה מאומתת בזמן אמת. היא משלבת תהליכים ודרגות מצב על ידי דירוג סדרי. SymBuild נבדקת בתחומי CAD, Mini-Programs ואריזה מדויקת.
תקציר מקורי באנגליתarXiv:2608.11318v3 Announce Type: replace Abstract: Many sequential construction tasks have exact terminal symmetries even though execution is directed and depends on history. Process evidence supplies order; terminal correspondence transports it between equivalent outcomes; the realized state updates relevance. These roles define a carrier framework: transport what the outcome preserves; refine what history changes. SymBuild combines transported process and state residual ranks by ordinal rank meet; its top-$k$ prefix exactly equals their top-$k$ union, yielding a tight worst-case verifier query bound under prefix information. We evaluate SymBuild in three construction domains: computer-aided design (CAD) assembly, Mini-Programs, and exact-fill packing, and test additional framework insta
קרא במקור המקורי
arxiv.org
פתח כתבה מקורית