影响力指数
论文质量、代表作、近期表现、广度与样本量置信度综合计算
0.81/100
超过 1.4%
全站排名 #63,508
发表论文3 篇
平均评分
年均产出1.5 篇/年
AI 学术分析
Mohammad Raza
研究方向
logic and formal methods · automated reasoning and theorem proving · automated reasoning · program synthesis
logic and formal methods · automated reasoning and theorem proving · automated reasoning · program synthesis