影响力指数
论文质量、代表作、近期表现、广度与样本量置信度综合计算
98.65/100
前 0.1%
全站排名 #31
发表论文54 篇
平均评分
年均产出18.0 篇/年
AI 学术分析
Martin Vechev
研究方向
safe and secure AI · AI for mathematics · LLM security · AI for programming languages and program analysis · AI and symbolic reasoning · combining logic and AI · trustworthy AI
发表论文（54 篇）
16
NeurIPS 2025Poster
19
NeurIPS 2025Poster
通讯22
ICLR 2025Poster
通讯9
ICML 2025Poster
通讯17
ICLR 2025Poster
三作19
ICLR 2025Poster
通讯7
ICML 2025Poster
通讯11
ICML 2025Poster
三作13
ICML 2025Poster
通讯13
ICML 2025Poster
通讯23
ICLR 2025Poster
通讯32
ICLR 2025Rejected
通讯35
ICLR 2025Poster
通讯13
ICML 2025Poster
通讯25
ICLR 2025Rejected
通讯24
ICLR 2025Rejected
三作11
ICML 2025Poster
三作9
ICML 2025Spotlight
通讯22
ICLR 2025Rejected
三作25
ICLR 2025Rejected
三作8
ICML 2025Poster
三作13
ICLR 2025Rejected
通讯14
ICLR 2025Rejected
通讯5
ICLR 2025withdrawn
三作16
ICLR 2025Rejected
通讯25
ICLR 2024Spotlight
通讯18
ICLR 2024Spotlight
通讯9
NeurIPS 2024Poster
通讯18
NeurIPS 2024Poster
通讯19
ICLR 2024Poster
通讯12
NeurIPS 2024Poster
通讯20
ICLR 2024Poster
通讯16
NeurIPS 2024Poster
三作18
ICLR 2024Poster
通讯20
NeurIPS 2024Poster
通讯20
ICLR 2024Rejected
通讯16
ICLR 2024Rejected
通讯22
ICLR 2024Poster
通讯23
NeurIPS 2024Poster
通讯19
ICLR 2024Rejected
三作6
ICLR 2024Rejected
三作