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

蒋东辰 (Dongchen Jiang)

Beijing Forestry University

1H指数
9论文数
5被引数
收录论文 4
发表时间
logo
Optimizing Isabelle2Cpp for Safe and Efficient C++ Codes Generation优化Isabelle2Cpp以实现安全高效的C++代码生成
errSOFTWARE-PRACTICE & EXPERIENCE
IF2.7
err2026-09-29
err0
PREAI
errDongChen Jiang; YongKang Mao; Bo Xu
err分享
err收藏
Type Inference for Isabelle2CppIsabelle2Cpp的类型推断
errApplied Sciences-Basel
IF2.5
err2026-04-14
err0
PREAI
errJiang, Dongchen; Mao, Yongkang; Fu, Chenxi
err分享
err收藏
A Weakly Supervised Chinese Named Entity Recognition Method Combining First-Order Logic
errIEEE ACCESS
IF3.6
err2024-01-01
err1
errOAAI
errXi, Tang; Jiang, Dongchen
err分享
err收藏
An adaptive method for Chinese new word detection based on hypothesis testing
errPATTERN ANALYSIS AND APPLICATIONS
IF2
err2022-07-04
err0
PREAI
errJiang, Dongchen; Jiang, Aoyuan; Tang, Shuai
err分享
err收藏

研究方向

人工智能自动推理和形式化方法软件/程序可靠性交互式定理证明计算语言学中文自然语言处理
合作学者
合作期刊
X
Xi Tang
H 指数: 3 · 论文数: 13
C
Chenxi Fu
H 指数: 2 · 论文数: 17
S
Shuai Tang
H 指数: 1 · 论文数: 6
A
Aoyuan Jiang
H 指数: 1 · 论文数: 3
Y
YongKang Mao
H 指数: 0 · 论文数: 1
查看更多