Hồ sơ

Illia Polosukhin

NEAR

Email được xác minh tại near.ai

Trích dẫn 179754 bài viết

Deep Learning Machine Learning Program Synthesis

Thomas Reps

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

Email được xác minh tại cs.wisc.edu

Trích dẫn 28661 bài viết

Programming Languages Program Analysis Computer Security Program Verification Program Synthesis

Doron A. Peled

Professor Of Computer Science, Bar Ilan University

Email được xác minh tại cs.biu.ac.il

Trích dẫn 27729 bài viết

Concurrency Theory Model Checking Runtime verification Software Testing Program Synthesis

Xinyun Chen

Google DeepMind

Email được xác minh tại berkeley.edu

Trích dẫn 21273 bài viết

Large Language Models Program Synthesis Reasoning AI Security

Sumit Gulwani

Distinguished Scientist, Microsoft

Email được xác minh tại microsoft.com

Trích dẫn 18924 bài viết

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

Augustus Odena

Research Scientist

Email được xác minh tại columbia.edu

Trích dẫn 18103 bài viết

Machine Learning Program Synthesis

Rastislav Bodik

University of Washington

Email được xác minh tại cs.washington.edu

Trích dẫn 17678 bài viết

Programming Languages Program Synthesis

Jacob Austin

Researcher, DeepMind

Email được xác minh tại google.com

Trích dẫn 17138 bài viết

Machine Learning Program Synthesis Programming Languages Robotics Reinforcement Learning

Oleksandr Polozov

Google DeepMind

Email được xác minh tại google.com

Trích dẫn 16557 bài viết

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

David Andre

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

Email được xác minh tại andrefoo.com

Trích dẫn 13828 bài viết

AI Program synthesis reinforcement learning ML

1 - 10