記号回帰のための命令セットと言語
arXiv cs.CL / 2026/3/24
📰 ニュースIdeas & Deep AnalysisModels & Research
要点
- 本論文は、同一の式に対して複数のノード番号付けスキームが存在すると、探索空間内で冗長な候補が生じて適応度評価の無駄が発生する「構造的冗長性（structural redundancy）」を、記号回帰において特定している。
- それに続き、IsalSRを提案し、式DAGをコンパクトな二層アルファベット表現を用いて文字列として符号化する。
- IsalSRは、完全なラベル付きDAG同型不変量となるように剪定（pruned）された正準文字列を計算し、等価なDAG表現を単一の正準形へと統合する。
- 正準化を強制することで、記号回帰の探索プロセスにおける有意義な多様性は維持しつつ、重複した評価を削減することを目指す。
