logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
蒋

蒋东辰 (Dongchen Jiang)

Beijing Forestry University

1H-index
9Paper Count
5Citation Count
Published Papers 4
Publication Date
logo
Optimizing Isabelle2Cpp for Safe and Efficient C++ Codes Generation
errSOFTWARE-PRACTICE & EXPERIENCE
IF2.7
err2026-09-29
err0
PREAI
errDongChen Jiang; YongKang Mao; Bo Xu
errShare
errSave
Type Inference for Isabelle2Cpp
errApplied Sciences-Basel
IF2.5
err2026-04-14
err0
PREAI
errJiang, Dongchen; Mao, Yongkang; Fu, Chenxi
errShare
errSave
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
errShare
errSave
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
errShare
errSave

Research Directions

人工智能自动推理和形式化方法软件/程序可靠性交互式定理证明计算语言学中文自然语言处理
Co-authors
Cooperation Journals
X
Xi Tang
H-index: 3 · Papers: 13
C
Chenxi Fu
H-index: 2 · Papers: 17
S
Shuai Tang
H-index: 1 · Papers: 6
A
Aoyuan Jiang
H-index: 1 · Papers: 3
Y
YongKang Mao
H-index: 0 · Papers: 1
View more