Profils

Illia Polosukhin

NEAR

Adresse e-mail validée de near.ai

Cité 152488 fois

Deep Learning Machine Learning Program Synthesis

Thomas Reps

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

Adresse e-mail validée de cs.wisc.edu

Cité 28407 fois

Programming Languages Program Analysis Computer Security Program Verification Program Synthesis

Doron A. Peled

Professor Of Computer Science, Bar Ilan University

Adresse e-mail validée de cs.biu.ac.il

Cité 27508 fois

Concurrency Theory Model Checking Runtime verification Software Testing Program Synthesis

Sumit Gulwani

Distinguished Scientist, Microsoft

Adresse e-mail validée de microsoft.com

Cité 18312 fois

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

Rastislav Bodik

University of Washington

Adresse e-mail validée de cs.washington.edu

Cité 17421 fois

Programming Languages Program Synthesis

Augustus Odena

Research Scientist

Adresse e-mail validée de columbia.edu

Cité 17138 fois

Machine Learning Program Synthesis

Xinyun Chen

Google DeepMind

Adresse e-mail validée de berkeley.edu

Cité 16844 fois

Large Language Models Program Synthesis Reasoning AI Security

David Andre

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

Adresse e-mail validée de andrefoo.com

Cité 14067 fois

AI Program synthesis reinforcement learning ML

Oleksandr Polozov

Google DeepMind

Adresse e-mail validée de google.com

Cité 13162 fois

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

Eran Yahav

Technion, Israel

Adresse e-mail validée de cs.technion.ac.il

Cité 13111 fois

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

1 - 10