paper.dinq.meAI 与前沿科学顶会 · 学术新星雷达
登录 DINQ
返回新星榜
MV

Martin Vechev

ICML 2026×4ACL 2026评测与基准代码推理社会与人本检索与知识
新星分资深
14
一作贡献0
核心/参与2
方向广度13
合作网络0
0 一作 · 5 篇 · ICML 2026 / ACL 2026

获取完整研究档案

首次获取该候选人的完整档案及 StartLux 评估共 20 积分;每位用户单独解锁,之后查看免费。主动刷新 20 积分。

联系方式

实时查找电子邮箱,费用不超过20积分;未找到邮箱不扣费。

2026 顶会论文

5
作者位次 #3/3ICML 2026Spotlight· Deep Learning / Large Language Models

BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs

Ivo Petrov · Jasper Dekoninck · Martin Vechev

推理对齐与偏好评测与基准OpenReview
作者位次 #3/3ACL 2026Findings· Findings of ACL

Recovered in Translation: Efficient Pipeline for Automated Translation of Benchmarks and Datasets

Hanna Yukhymenko · Anton Alexandrov · Martin Vechev

摘要

The reliability of multilingual Large Language Model (LLM) evaluation is currently compromised by the inconsistent quality of translated benchmarks. Existing resources often suffer from semantic drift and context loss, which can lead to misleading performance metrics. In this work, we present a f...

评测与基准多语言与语言学推理OpenReview 项目页

常见合作者