个人学术档案

Illia Polosukhin

NEAR

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

被引用次数：179754

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 的电子邮件经过验证

被引用次数：28661

Programming Languages Program Analysis Computer Security Program Verification Program Synthesis

Doron A. Peled

Professor Of Computer Science, Bar Ilan University

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

被引用次数：27729

Concurrency Theory Model Checking Runtime verification Software Testing Program Synthesis

Xinyun Chen

Google DeepMind

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

被引用次数：21273

Large Language Models Program Synthesis Reasoning AI Security

Sumit Gulwani

Distinguished Scientist, Microsoft

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

被引用次数：18924

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

Augustus Odena

Research Scientist

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

被引用次数：18103

Machine Learning Program Synthesis

Rastislav Bodik

University of Washington

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

被引用次数：17678

Programming Languages Program Synthesis

Jacob Austin

Researcher, DeepMind

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

被引用次数：17138

Machine Learning Program Synthesis Programming Languages Robotics Reinforcement Learning

Oleksandr Polozov

Google DeepMind

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

被引用次数：16557

Program Synthesis Software Engineering Deep Learning Semantic Parsing Neuro-Symbolic Reasoning

David Andre

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

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

被引用次数：13828

AI Program synthesis reinforcement learning ML

1 - 10