#研究图谱

1 stories · 0 in 7 days · 1 in 30 days

Euler 1 多智能体 1 形式化验证 1

Stories, products and papers tagged "研究图谱", newest first.

Oct 15

Papers Builders12:38

Chinese contentEuler：面向人机协作的多智能体数学研究系统

做数学或搞智能体研究的可以看看，Euler 把证明过程做成图谱，还能回看每一步推理，和只出答案的系统思路不一样。

#Euler #多智能体 #研究图谱 #形式化验证

arXiv cs.AI@Qiuyu Chen et al. (6)Source

研究图谱 · AI news | AITOP