יום שלישי, 15 בספטמבר 2026 LIVE
AI־INFO

כתבה arXiv cs.AI ·

סימטריה טרמינלית כספק של ידע תהליכי אסימטרי: תיקון מדויק לבנייה מאומתת בזמן

Terminal Symmetry as a Carrier of Asymmetric Process Knowledge: Statewise Refinement for Anytime Verified Construction
סימטריה טרמינלית משמשת כספק של ידע תהליכי אסימטרי. המאמר עוסק בבנייה מאומתת בזמן, ומציג פרקטיקה חדשה לבנייה מאומתת בזמן. הפרקטיקה, שנקראת SymBuild, משלבת תהליכי תקיפה ותקיפה רפלקסיבית, ומאפשרת בנייה מאומתת בזמן של מערכות סימטריות. המאמר כולל תיאור של SymBuild, ומציג תוצאות של ניסויים שנערכו כדי לבדוק את יעילותה של SymBuild.
תקציר מקורי באנגליתarXiv:2608.11318v4 Announce Type: replace-cross 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
קרא במקור המקורי