影响力指数

30.36/100

前 24%

全站排名 #15,472

发表论文5 篇

平均评分5.1

年均产出2.5 篇/年

Alex Aiken

Visiting Professor@NVIDIA·美国·OpenReview

研究方向

Software & Hardware Foundation · CyberInfra Frmwrk 21st (CIF21)

InvBench: Can LLMs Accelerate Program Verification with Invariant Synthesis?

ICLR 2026Rejected

SuperCoder: Assembly Program Superoptimization with Large Language Models

ICLR 2026Rejected

CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis

COLM 2025Poster

Improving Parallel Program Performance with LLM Optimizers via Agent-System Interfaces

ICML 2025Poster

MAGE: Leveraging LLMs for Automated Mapper Generation in Parallel Programming

ICLR 2025Rejected

合作者 (16)

Thiago S. F. X. Teixeira

PhD Advisee2 篇

Gagandeep Singh