Профили

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

Цитируется: 27339

Concurrency Theory Model Checking Runtime verification Software Testing Program Synthesis

Sumit Gulwani

Partner Research Manager, Microsoft

Подтвержден адрес электронной почты в домене microsoft.com

Цитируется: 17891

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

Цитируется: 13989

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