会员服务
Neural Networks · Networking · Networks · Attention · Transformer ·
4 月 28 日
Verification of Neural Networks (Lecture Notes)
翻译：暂无翻译
Benedikt Bollig
Benedikt Bollig
from arxiv, 72 pages

These lecture notes provide an introduction to the verification of neural networks from a theoretical perspective. We discuss feed-forward neural networks, recurrent neural networks, attention mechanisms, and transformers, together with specification languages and algorithmic verification techniques.


翻译：暂无翻译
0
下载
关闭预览

相关内容

神经网络（Neural Networks）是世界上三个最古老的神经建模学会的档案期刊:国际神经网络学会(INNS)、欧洲神经网络学会(ENNS)和日本神经网络学会(JNNS)。神经网络提供了一个论坛，以发展和培育一个国际社会的学者和实践者感兴趣的所有方面的神经网络和相关方法的计算智能。神经网络欢迎高质量论文的提交，有助于全面的神经网络研究，从行为和大脑建模，学习算法，通过数学和计算分析，系统的工程和技术应用，大量使用神经网络的概念和技术。这一独特而广泛的范围促进了生物和技术研究之间的思想交流，并有助于促进对生物启发的计算智能感兴趣的跨学科社区的发展。因此，神经网络编委会代表的专家领域包括心理学，神经生物学，计算机科学，工程，数学，物理。该杂志发表文章、信件和评论以及给编辑的信件、社论、时事、软件调查和专利信息。文章发表在五个部分之一:认知科学，神经科学，学习系统，数学和计算分析、工程和应用。 官网地址：http://dblp.uni-trier.de/db/journals/nn/
《Advances in Graph Neural Networks》第1~2章读书笔记
《Advances in Graph Neural Networks》第1~2章读书笔记
专知会员服务
42+阅读 · 2022年11月18日
最新《图神经网络知识图谱补全综述论文》A Survey on Graph Neural Networks for Knowledge Graph Completion
最新《图神经网络知识图谱补全综述论文》A Survey on Graph Neural Networks for Knowledge Graph Completion
专知会员服务
137+阅读 · 2020年7月29日
【ICML2020-斯坦福Facebook-何恺明】神经网络图结构，Graph Structure of Neural Networks
【ICML2020-斯坦福Facebook-何恺明】神经网络图结构，Graph Structure of Neural Networks
专知会员服务
57+阅读 · 2020年7月14日
【KDD2020】通过对比子图对大脑网络的可解释分类，Explainable Classification of Brain Networks via Contrast Subgraphs
【KDD2020】通过对比子图对大脑网络的可解释分类，Explainable Classification of Brain Networks via Contrast Subgraphs
专知会员服务
21+阅读 · 2020年6月11日
【新书】图神经网络导论，清华大学刘知远和周杰老师著作，Introduction to Graph Neural Networks
【新书】图神经网络导论，清华大学刘知远和周杰老师著作，Introduction to Graph Neural Networks
专知会员服务
259+阅读 · 2020年6月11日
【论文推荐】Stochastic Graph Neural Networks，随机图神经网络
【论文推荐】Stochastic Graph Neural Networks，随机图神经网络
专知会员服务
69+阅读 · 2020年6月6日
【图机器学习论文】图神经网络：方法与应用综述（Graph Neural Networks: A Review of Methods and Applications）
【图机器学习论文】图神经网络：方法与应用综述（Graph Neural Networks: A Review of Methods and Applications）
专知会员服务
141+阅读 · 2019年12月16日
【Nature论文】用于理解图像分类决策和改进神经网络鲁棒性的对抗性解释（Adversarial Explanations for Understanding Image Classification Decisions and Improved Neural Network Robustness ）
【Nature论文】用于理解图像分类决策和改进神经网络鲁棒性的对抗性解释（Adversarial Explanations for Understanding Image Classification Decisions and Improved Neural Network Robustness ）
专知会员服务
13+阅读 · 2019年11月25日
【NLP| 推荐文章】知识图谱问答系统的神经网络方法介绍（Introduction to Neural Network based Approaches for Question Answering over Knowledge Graphs）
专知会员服务
59+阅读 · 2019年11月24日
【斯坦福大学NeuralPS2019】GNN解释器，GNNExplainer: Generating Explanations for Graph Neural Networks，斯坦福大学|Jure Leskovec
【斯坦福大学NeuralPS2019】GNN解释器，GNNExplainer: Generating Explanations for Graph Neural Networks，斯坦福大学|Jure Leskovec
专知会员服务
89+阅读 · 2019年10月13日
【图神经网络入门】GAT图注意力网络
【图神经网络入门】GAT图注意力网络
深度学习自然语言处理
28+阅读 · 2020年5月16日
图神经网络入门（三）GAT图注意力网络
图神经网络入门（三）GAT图注意力网络
图与推荐
10+阅读 · 2020年5月14日
【GNN】图神经网络入门之GRN图循环网络
【GNN】图神经网络入门之GRN图循环网络
深度学习自然语言处理
17+阅读 · 2020年5月9日
Graph Neural Networks 综述
Graph Neural Networks 综述
计算机视觉life
30+阅读 · 2019年8月13日
神经网络图的简介（基本概念，DeepWalk以及GraphSage算法）
神经网络图的简介（基本概念，DeepWalk以及GraphSage算法）
AI研习社
12+阅读 · 2019年3月5日
Network Embedding 指南
Network Embedding 指南
专知
22+阅读 · 2018年8月13日
论文浅尝 | 基于神经网络的推理（DeepMind Relational Reasoning）
论文浅尝 | 基于神经网络的推理（DeepMind Relational Reasoning）
开放知识图谱
14+阅读 · 2018年4月3日
论文浅尝 | Improved Neural Relation Detection for KBQA
论文浅尝 | Improved Neural Relation Detection for KBQA
开放知识图谱
13+阅读 · 2018年1月21日
ResNet, AlexNet, VGG, Inception：各种卷积网络架构的理解
ResNet, AlexNet, VGG, Inception：各种卷积网络架构的理解
全球人工智能
20+阅读 · 2017年12月17日
【深度学习基础】4. Recurrent Neural Networks
【深度学习基础】4. Recurrent Neural Networks
微信AI
16+阅读 · 2017年7月19日
循环神经网络多模态深度模型联想记忆功能研究
国家自然科学基金
6+阅读 · 2017年12月31日
基于复杂网络理论的肺系病中医古籍本体构建与知识发现研究
国家自然科学基金
0+阅读 · 2015年12月31日
面向人类工作记忆改善的脑电复杂网络信息反馈非线性计算模型研究
国家自然科学基金
0+阅读 · 2015年12月31日
人脑MRI数据特征提取方法的研究与应用
国家自然科学基金
0+阅读 · 2015年12月31日
一对多联想记忆中的细胞神经网络建模及参数获取方法研究
国家自然科学基金
0+阅读 · 2015年12月31日
互连网络条件路覆盖与综合诊断策略下的故障诊断性研究
国家自然科学基金
0+阅读 · 2015年12月31日
关联规则集上的知识发现
国家自然科学基金
9+阅读 · 2015年12月31日
图谱理论的研究及其在复杂网络中的应用
国家自然科学基金
1+阅读 · 2014年12月31日
基于扩散磁共振成像的人脑结构连接组学研究及其应用
国家自然科学基金
1+阅读 · 2014年12月31日
环氧树脂基交联网络微观结构调控及其热致形状记忆构效关系
国家自然科学基金
0+阅读 · 2014年12月31日
Statistics of correlations in nonlinear recurrent neural networks
Arxiv
0+阅读 · 4月21日
Robustness Verification of Polynomial Neural Networks
Arxiv
0+阅读 · 4月17日
Quantitative Verification with Neural Networks
Arxiv
0+阅读 · 4月14日
Neural Network Models for Contextual Regression
Arxiv
0+阅读 · 3月25日
Hyperbolic Graph Neural Networks: A Review of Methods and Applications
Hyperbolic Graph Neural Networks: A Review of Methods and Applications
Arxiv
28+阅读 · 2022年2月28日
Similarity and Matching of Neural Network Representations
Arxiv
10+阅读 · 2021年10月27日
Fine-Grained Neural Network Explanation by Identifying Input Features with Predictive Information
Arxiv
10+阅读 · 2021年10月4日
Dynamic Neural Networks: A Survey
Arxiv
37+阅读 · 2021年2月10日
What Can Neural Networks Reason About?
Arxiv
10+阅读 · 2020年2月15日
Interpretable Convolutional Neural Networks
Arxiv
22+阅读 · 2018年2月14日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
Neural Networks
Networking
Networks
Attention
Transformer
最新内容
DeepSeek 版Claude Code，免费小白安装教程来了！
DeepSeek 版Claude Code，免费小白安装教程来了！
专知会员服务
7+阅读 · 5月5日
【ICML Spotlight 2026】 T²PO: 不确定性引导的探索控制框架，实现稳定多轮Agentic强化学习
【ICML Spotlight 2026】 T²PO: 不确定性引导的探索控制框架，实现稳定多轮Agentic强化学习
专知会员服务
4+阅读 · 5月5日
基础模型驱动的工业智能体：技术成熟度、能力变迁与未竟之挑战
基础模型驱动的工业智能体：技术成熟度、能力变迁与未竟之挑战
专知会员服务
4+阅读 · 5月5日
《机动炮兵的演进与未来：技术进步、历史沿革与炮兵作战前瞻》
《机动炮兵的演进与未来：技术进步、历史沿革与炮兵作战前瞻》
专知会员服务
4+阅读 · 5月5日
《火炮弹药快速效能建模：提升互操作性与技术优势》（报告）
《火炮弹药快速效能建模：提升互操作性与技术优势》（报告）
专知会员服务
6+阅读 · 5月5日
《美空军条令出版物 2-0：情报（2026版）》
《美空军条令出版物 2-0：情报（2026版）》
专知会员服务
12+阅读 · 5月5日
美陆军“飞蝇陷阱5.0”项目将新兴技术交到作战人员手中
美陆军“飞蝇陷阱5.0”项目将新兴技术交到作战人员手中
专知会员服务
4+阅读 · 5月5日
帕兰提尔 Gotham：一个游戏规则改变器
帕兰提尔 Gotham：一个游戏规则改变器
专知会员服务
6+阅读 · 5月5日
【ICML 2026】用测试时训练线性化视觉Transformer：T⁵ 实现 Softmax 注意力到线性复杂度的快速转换
【ICML 2026】用测试时训练线性化视觉Transformer：T⁵ 实现 Softmax 注意力到线性复杂度的快速转换
专知会员服务
2+阅读 · 5月5日
【AAAI 2026】大模型做知识蒸馏：CMM将LLM特征拆解给小模型协同学习
【AAAI 2026】大模型做知识蒸馏：CMM将LLM特征拆解给小模型协同学习
专知会员服务
2+阅读 · 5月5日
【ICML Spotlight 2026 】NonZero：交互引导探索的多智能体蒙特卡洛树搜索
【ICML Spotlight 2026 】NonZero：交互引导探索的多智能体蒙特卡洛树搜索
专知会员服务
8+阅读 · 5月4日
【综述】 机器人学习中的世界模型：全面综述
【综述】 机器人学习中的世界模型：全面综述
专知会员服务
11+阅读 · 5月4日
伊朗的导弹-无人机行动及其对美国威慑的影响
伊朗的导弹-无人机行动及其对美国威慑的影响
专知会员服务
9+阅读 · 5月4日
《未来战术无人机系统案例研究：量身定制采办策略方法》100页报告
《未来战术无人机系统案例研究：量身定制采办策略方法》100页报告
专知会员服务
9+阅读 · 5月4日
战争贩子：2026年第一季度美国对中东潜在军售激增
战争贩子：2026年第一季度美国对中东潜在军售激增
专知会员服务
7+阅读 · 5月4日
相关VIP内容
《Advances in Graph Neural Networks》第1~2章读书笔记
《Advances in Graph Neural Networks》第1~2章读书笔记
专知会员服务
42+阅读 · 2022年11月18日
最新《图神经网络知识图谱补全综述论文》A Survey on Graph Neural Networks for Knowledge Graph Completion
最新《图神经网络知识图谱补全综述论文》A Survey on Graph Neural Networks for Knowledge Graph Completion
专知会员服务
137+阅读 · 2020年7月29日
【ICML2020-斯坦福Facebook-何恺明】神经网络图结构，Graph Structure of Neural Networks
【ICML2020-斯坦福Facebook-何恺明】神经网络图结构，Graph Structure of Neural Networks
专知会员服务
57+阅读 · 2020年7月14日
【KDD2020】通过对比子图对大脑网络的可解释分类，Explainable Classification of Brain Networks via Contrast Subgraphs
【KDD2020】通过对比子图对大脑网络的可解释分类，Explainable Classification of Brain Networks via Contrast Subgraphs
专知会员服务
21+阅读 · 2020年6月11日
【新书】图神经网络导论，清华大学刘知远和周杰老师著作，Introduction to Graph Neural Networks
【新书】图神经网络导论，清华大学刘知远和周杰老师著作，Introduction to Graph Neural Networks
专知会员服务
259+阅读 · 2020年6月11日
【论文推荐】Stochastic Graph Neural Networks，随机图神经网络
【论文推荐】Stochastic Graph Neural Networks，随机图神经网络
专知会员服务
69+阅读 · 2020年6月6日
【图机器学习论文】图神经网络：方法与应用综述（Graph Neural Networks: A Review of Methods and Applications）
【图机器学习论文】图神经网络：方法与应用综述（Graph Neural Networks: A Review of Methods and Applications）
专知会员服务
141+阅读 · 2019年12月16日
【Nature论文】用于理解图像分类决策和改进神经网络鲁棒性的对抗性解释（Adversarial Explanations for Understanding Image Classification Decisions and Improved Neural Network Robustness ）
【Nature论文】用于理解图像分类决策和改进神经网络鲁棒性的对抗性解释（Adversarial Explanations for Understanding Image Classification Decisions and Improved Neural Network Robustness ）
专知会员服务
13+阅读 · 2019年11月25日
【NLP| 推荐文章】知识图谱问答系统的神经网络方法介绍（Introduction to Neural Network based Approaches for Question Answering over Knowledge Graphs）
专知会员服务
59+阅读 · 2019年11月24日
【斯坦福大学NeuralPS2019】GNN解释器，GNNExplainer: Generating Explanations for Graph Neural Networks，斯坦福大学|Jure Leskovec
【斯坦福大学NeuralPS2019】GNN解释器，GNNExplainer: Generating Explanations for Graph Neural Networks，斯坦福大学|Jure Leskovec
专知会员服务
89+阅读 · 2019年10月13日
热门VIP内容
相关资讯
【图神经网络入门】GAT图注意力网络
【图神经网络入门】GAT图注意力网络
深度学习自然语言处理
28+阅读 · 2020年5月16日
图神经网络入门（三）GAT图注意力网络
图神经网络入门（三）GAT图注意力网络
图与推荐
10+阅读 · 2020年5月14日
【GNN】图神经网络入门之GRN图循环网络
【GNN】图神经网络入门之GRN图循环网络
深度学习自然语言处理
17+阅读 · 2020年5月9日
Graph Neural Networks 综述
Graph Neural Networks 综述
计算机视觉life
30+阅读 · 2019年8月13日
神经网络图的简介（基本概念，DeepWalk以及GraphSage算法）
神经网络图的简介（基本概念，DeepWalk以及GraphSage算法）
AI研习社
12+阅读 · 2019年3月5日
Network Embedding 指南
Network Embedding 指南
专知
22+阅读 · 2018年8月13日
论文浅尝 | 基于神经网络的推理（DeepMind Relational Reasoning）
论文浅尝 | 基于神经网络的推理（DeepMind Relational Reasoning）
开放知识图谱
14+阅读 · 2018年4月3日
论文浅尝 | Improved Neural Relation Detection for KBQA
论文浅尝 | Improved Neural Relation Detection for KBQA
开放知识图谱
13+阅读 · 2018年1月21日
ResNet, AlexNet, VGG, Inception：各种卷积网络架构的理解
ResNet, AlexNet, VGG, Inception：各种卷积网络架构的理解
全球人工智能
20+阅读 · 2017年12月17日
【深度学习基础】4. Recurrent Neural Networks
【深度学习基础】4. Recurrent Neural Networks
微信AI
16+阅读 · 2017年7月19日
相关论文
Statistics of correlations in nonlinear recurrent neural networks
Arxiv
0+阅读 · 4月21日
Robustness Verification of Polynomial Neural Networks
Arxiv
0+阅读 · 4月17日
Quantitative Verification with Neural Networks
Arxiv
0+阅读 · 4月14日
Neural Network Models for Contextual Regression
Arxiv
0+阅读 · 3月25日
Hyperbolic Graph Neural Networks: A Review of Methods and Applications
Hyperbolic Graph Neural Networks: A Review of Methods and Applications
Arxiv
28+阅读 · 2022年2月28日
Similarity and Matching of Neural Network Representations
Arxiv
10+阅读 · 2021年10月27日
Fine-Grained Neural Network Explanation by Identifying Input Features with Predictive Information
Arxiv
10+阅读 · 2021年10月4日
Dynamic Neural Networks: A Survey
Arxiv
37+阅读 · 2021年2月10日
What Can Neural Networks Reason About?
Arxiv
10+阅读 · 2020年2月15日
Interpretable Convolutional Neural Networks
Arxiv
22+阅读 · 2018年2月14日
相关基金
循环神经网络多模态深度模型联想记忆功能研究
国家自然科学基金
6+阅读 · 2017年12月31日
基于复杂网络理论的肺系病中医古籍本体构建与知识发现研究
国家自然科学基金
0+阅读 · 2015年12月31日
面向人类工作记忆改善的脑电复杂网络信息反馈非线性计算模型研究
国家自然科学基金
0+阅读 · 2015年12月31日
人脑MRI数据特征提取方法的研究与应用
国家自然科学基金
0+阅读 · 2015年12月31日
一对多联想记忆中的细胞神经网络建模及参数获取方法研究
国家自然科学基金
0+阅读 · 2015年12月31日
互连网络条件路覆盖与综合诊断策略下的故障诊断性研究
国家自然科学基金
0+阅读 · 2015年12月31日
关联规则集上的知识发现
国家自然科学基金
9+阅读 · 2015年12月31日
图谱理论的研究及其在复杂网络中的应用
国家自然科学基金
1+阅读 · 2014年12月31日
基于扩散磁共振成像的人脑结构连接组学研究及其应用
国家自然科学基金
1+阅读 · 2014年12月31日
环氧树脂基交联网络微观结构调控及其热致形状记忆构效关系
国家自然科学基金
0+阅读 · 2014年12月31日
Top
微信扫码咨询专知VIP会员
Top