符号计算

最近提交的作者和标题

• 2025年06月02日， 星期一
• 2025年05月30日， 星期五
• 2025年05月29日， 星期四
• 2025年05月28日， 星期三
• 2025年05月27日， 星期二

查看今天的 新的 变化

2025年06月02日， 星期一 (展示 2 之 2 条目 )

[1] arXiv:2505.24533 (交叉列表自 cs.LG) [中文pdf, pdf, html, 其他]

标题： 带有交换生成元的定向非交换幺范畴结构与交换律 显示英文标题

标题： Directional Non-Commutative Monoidal Structures with Interchange Law via Commutative Generators

Mahesh Godavarti

主题： 机器学习 (cs.LG) ; 人工智能 (cs.AI) ; 符号计算 (cs.SC)

[2] arXiv:2505.23851 (交叉列表自 cs.CL) [中文pdf, pdf, html, 其他]

标题： ASyMOB：代数符号数学运算基准 显示英文标题

标题： ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark

Michael Shalyt, Rotem Elimelech, Ido Kaminer

评论： 代码仓库: https://github.com/RamanujanMachine/ASyMOB 完整基准数据集: https://huggingface.co/datasets/Shalyt/ASyMOB-Algebraic_Symbolic_Mathematical_Operations_Benchmark

主题： 计算与语言 (cs.CL) ; 人工智能 (cs.AI) ; 符号计算 (cs.SC)

2025年05月30日， 星期五 (展示 2 之 2 条目 )

[3] arXiv:2505.23696 (交叉列表自 cs.LG) [中文pdf, pdf, html, 其他]

标题： 具有注意力的计算代数：边界基算法的Transformer预言机 显示英文标题

标题： Computational Algebra with Attention: Transformer Oracles for Border Basis Algorithms

Hiroshi Kera, Nico Pelleriti, Yuki Ishihara, Max Zimmer, Sebastian Pokutta

评论： 13+19页（3+9幅图，2+7张表格）

主题： 机器学习 (cs.LG) ; 符号计算 (cs.SC)

[4] arXiv:2505.23311 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 面向基于LLM的多项式形式验证中可读证明的生成 显示英文标题

标题： Towards LLM-based Generation of Human-Readable Proofs in Polynomial Formal Verification

Rolf Drechsler

评论： 4页；2025年5月27日至30日在印度加尔各答IIEST谢伯德举办的第七届国际设备、电路和系统研讨会（ISDCS 2025）上发表的主旨演讲

主题： 计算机科学中的逻辑 (cs.LO) ; 硬件架构 (cs.AR) ; 符号计算 (cs.SC)

2025年05月29日， 星期四 (展示 3 之 3 条目 )

[5] arXiv:2505.21879 (交叉列表自 cs.SC) [中文pdf, pdf, html, 其他]

标题： 复杂网络上的符号基础回归器 显示英文标题

标题： Symbolic Foundation Regressor on Complex Networks

Weiting Liu, Jiaxu Cui, Jiao Hu, En Wang, Bo Yang

评论： 六十页

主题： 符号计算 (cs.SC) ; 人工智能 (cs.AI) ; 机器学习 (cs.LG)

[6] arXiv:2505.22652 (交叉列表自 math.MG) [中文pdf, pdf, html, 其他]

标题： PyRigi——一个用于杆-铰链框架的刚性和柔性的一般性Python包 显示英文标题

标题： PyRigi -- a general-purpose Python package for the rigidity and flexibility of bar-and-joint frameworks

Matteo Gallet, Georg Grasegger, Matthias Himmelmann, Jan Legerský

评论： 23页，5幅图

主题： 度量几何 (math.MG) ; 计算几何 (cs.CG) ; 符号计算 (cs.SC) ; 组合数学 (math.CO)

[7] arXiv:2505.21668 (交叉列表自 cs.AI) [中文pdf, pdf, 其他]

标题： R1-代码解释器：通过有监督和强化学习训练大型语言模型进行代码推理 显示英文标题

标题： R1-Code-Interpreter: Training LLMs to Reason with Code via Supervised and Reinforcement Learning

Yongchao Chen, Yueying Liu, Junwei Zhou, Yilun Hao, Jingquan Wang, Yang Zhang, Chuchu Fan

评论： 33页，8幅图

主题： 人工智能 (cs.AI) ; 计算与语言 (cs.CL) ; 符号计算 (cs.SC)

2025年05月28日， 星期三 (展示 2 之 2 条目 )

[8] arXiv:2505.20497 (交叉列表自 math.RA) [中文pdf, pdf, html, 其他]

标题： 多项式时间算法针对黑盒可分配扩展群组 显示英文标题

标题： Polynomial-Time Algorithms for Black-Box Distributive Expanded Groups

Mikhail Anokhin

评论： 13页

主题： 环与代数 (math.RA) ; 计算复杂性 (cs.CC) ; 符号计算 (cs.SC)

[9] arXiv:2505.20397 (交叉列表自 math.AG) [中文pdf, pdf, html, 其他]

标题： 计算1-周期的超越性和线性关系 显示英文标题

标题： Computing transcendence and linear relations of 1-periods

Emre Can Sertöz, Joël Ouaknine, James Worrell

评论： 68页，欢迎评论

主题： 代数几何 (math.AG) ; 符号计算 (cs.SC) ; 数论 (math.NT)

2025年05月27日， 星期二 (展示 2 之 2 条目 )

[10] arXiv:2505.19304 (交叉列表自 cs.MS) [中文pdf, pdf, html, 其他]

标题： f4ncgb: 自由代数中的高性能Gröbner基计算 显示英文标题

标题： f4ncgb: High Performance Gröbner Basis Computations in Free Algebras

Maximilian Heisinger, Clemens Hofstadler

评论： 20页，2个图，3个表格

主题： 数学软件 (cs.MS) ; 符号计算 (cs.SC)

[11] arXiv:2505.18849 (交叉列表自 math.DS) [中文pdf, pdf, 其他]

标题： 随机非线性迭代函数系统的分形吸引子：存在性、稳定性及维数性质 显示英文标题

标题： Fractal Attractors in Random Nonlinear Iterated Function Systems: Existence, Stability, and Dimensional Properties

Mohamed Aly Bouke

主题： 动力系统 (math.DS) ; 符号计算 (cs.SC)