logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
C

C. BARRETT

stanford university

1H指数
13论文数
2被引数
收录论文 2
发表时间
logo
Proof Minimization in Neural Network Verification神经网络验证中的证明最小化
errVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
err2026-01-01
err0
PREAI
errIsac, Omri; Refaeli, Idan; Wu, Haoze; Barrett, Clark; Katz, Guy
err分享
err收藏
Formalization of a Proof Calculus for Incremental Linearization for Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions非线性算术和超越函数可满足性问题的增量线性化证明演算的形式化
errPROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
err2026-01-01
err0
PREAI
errMascarenhas, Tomaz; Khan, Harun; Mohamed, Abdalrhman; Reynolds, Andrew; Barbosa, Haniel; Barrett, Clark; Tinelli, Cesare
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
C
Cesare Tinelli
H 指数: 39 · 论文数: 200
A
Andrew Reynolds
H 指数: 28 · 论文数: 186
G
Guy Katz
H 指数: 18 · 论文数: 65
H
Haniel Barbosa
H 指数: 12 · 论文数: 55
I
Idan Refaeli
H 指数: 5 · 论文数: 18
查看更多