1
Algebraic anti-unification
深度探讨代数反统一理论，助你理解程序综合与推理中的核心数学结构
arXiv:2407.15510v2 Announce Type: replace Abstract: Abstraction is key to human and artificial intelligence as it allows one to identify common struct…
2
The Symmetries of Three-Layer ReLU Networks
深入剖析三层ReLU网络的对称性结构，为深度学习理论提供新视角。
arXiv:2605.18319v1 Announce Type: new Abstract: We develop a framework for analyzing parameter symmetries in deep ReLU networks and obtain a complete …
3
Prediction-Intervention Games and Invariant Sets
探讨预测与干预博弈中不变集的数学结构，为理解智能体交互提供理论框架。
arXiv:2605.16828v1 Announce Type: cross Abstract: We consider the following two-player game: using observational data, the leader chooses a prediction…