个人学术档案

Illia Polosukhin

NEAR

在 near.ai 的电子邮件经过验证

被引用次数：142456

Deep Learning Machine Learning Program Synthesis

Thomas Reps

J. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of …

在 cs.wisc.edu 的电子邮件经过验证

被引用次数：28185

Programming Languages Program Analysis Computer Security Program Verification Program Synthesis

Doron A. Peled

Professor Of Computer Science, Bar Ilan University

在 cs.biu.ac.il 的电子邮件经过验证

被引用次数：27335

Concurrency Theory Model Checking Runtime verification Software Testing Program Synthesis

Sumit Gulwani

Partner Research Manager, Microsoft

在 microsoft.com 的电子邮件经过验证

被引用次数：17882

Program Synthesis Artificial Intelligence Program Verification End User Programming Computer-aided Education

Rastislav Bodik

University of Washington

在 cs.washington.edu 的电子邮件经过验证

被引用次数：17162

Programming Languages Program Synthesis

Augustus Odena

Research Scientist

在 columbia.edu 的电子邮件经过验证

被引用次数：16327

Machine Learning Program Synthesis

Xinyun Chen

Google DeepMind

在 berkeley.edu 的电子邮件经过验证

被引用次数：14158

Large Language Models Program Synthesis Reasoning AI Security

David Andre

X, the Moonshot Factory, Cerebellum Capital, Bodymedia Inc,

在 andrefoo.com 的电子邮件经过验证

被引用次数：13988

AI Program synthesis reinforcement learning ML

Eran Yahav

Technion, Israel

在 cs.technion.ac.il 的电子邮件经过验证

被引用次数：12622

Program Synthesis Machine Learning for Programming Program Analysis Abstract Interpretation Programming Languages

Rishabh Singh

Research Scientist, Google Brain

在 google.com 的电子邮件经过验证

被引用次数：11143

Program Synthesis Programming Languages Software Engineering Machine Learning

1 - 10