当前标签：Verification

形式验证和符号推理

DevilXXL 2024-11-16 22:41 阅读:20 评论:0 推荐:0 编辑

公告

昵称： DevilXXL
园龄： 1年7个月
粉丝： 7
关注： 0

<

2025年3月

>

日

一

二

三

四

五

六

23

24

25

26

27

28

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

1

2

3

4

5

随笔分类

随笔档案

阅读排行榜

评论排行榜

推荐排行榜

最新评论

1. Re:从 SSM 到 Mamba2，Mamba 发展回溯
@DevilXXL 感谢...
--喝多的奇迹
2. Re:从 SSM 到 Mamba2，Mamba 发展回溯
@喝多的奇迹 On the Parameterization and Initialization of Diagonal State Space Models...
--DevilXXL
3. Re:从 SSM 到 Mamba2，Mamba 发展回溯
这个S4D recurrent view的图示实在是太好了，请问出自那一篇论文呢
--喝多的奇迹
4. Re:【管中窥豹】粗糙的忆阻器 Survey
边缘计算的话只做到推理感觉还是挺有前途呢，训练当然不用在设备上做
--Babeishui