带伤害 发表于 2025-3-28 14:43:11

http://reply.papertrans.cn/24/2334/233386/233386_41.png

saturated-fat 发表于 2025-3-28 21:52:08

Repairing Decision-Making Programs Under Uncertaintyess by rooting it in computational learning theory. For evaluation, we focus on repairing machine learning classifiers with the goal of making them . (fair). Our implementation and evaluation demonstrate our approach’s ability to repair a range of programs.

混合物 发表于 2025-3-29 02:52:02

http://reply.papertrans.cn/24/2334/233386/233386_43.png

我不重要 发表于 2025-3-29 03:22:13

http://reply.papertrans.cn/24/2334/233386/233386_44.png

DECRY 发表于 2025-3-29 08:54:12

http://reply.papertrans.cn/24/2334/233386/233386_45.png

Systemic 发表于 2025-3-29 14:05:22

http://reply.papertrans.cn/24/2334/233386/233386_46.png

公共汽车 发表于 2025-3-29 19:03:33

http://reply.papertrans.cn/24/2334/233386/233386_47.png

carotid-bruit 发表于 2025-3-29 20:13:10

http://reply.papertrans.cn/24/2334/233386/233386_48.png

Charitable 发表于 2025-3-30 03:40:35

http://reply.papertrans.cn/24/2334/233386/233386_49.png

adroit 发表于 2025-3-30 04:46:50

http://reply.papertrans.cn/24/2334/233386/233386_50.png
页: 1 2 3 4 [5] 6 7
查看完整版本: Titlebook: Computer Aided Verification; 29th International C Rupak Majumdar,Viktor Kunčak Conference proceedings 2017 Springer International Publishin