Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Poesia, Gabriel
14  Ergebnisse:
Personensuche X
?
1

Dynamic dispatch of context-sensitive optimizations:

Poesia, Gabriel ; Pereira, Fernando Magno Quintão
Proceedings of the ACM on Programming Languages.  4 (2020)  OOPSLA - p. 1-28 , 2020
Link: https://dl.acm.org/doi/1..
 
?
2

Dynamic dispatch of context-sensitive optimizations:

Poesia, Gabriel ; Pereira, Fernando Magno Quintão
Proceedings of the ACM on Programming Languages.  4 (2020)  OOPSLA - p. 1-28 , 2020
Link: https://doi.org/10.1145/..
 
?
3

Static placement of computation on heterogeneous devices:

Poesia, Gabriel ; Guimarães, Breno ; Ferracioli, Fabrício.
Proceedings of the ACM on Programming Languages.  1 (2017)  OOPSLA - p. 1-28 , 2017
Link: https://dl.acm.org/doi/1..
 
?
4

Static placement of computation on heterogeneous devices:

Poesia, Gabriel ; Guimarães, Breno ; Ferracioli, Fabrício.
Proceedings of the ACM on Programming Languages.  1 (2017)  OOPSLA - p. 1-28 , 2017
Link: https://doi.org/10.1145/..
 
?
5

Certified Deductive Reasoning with Language Models:

Poesia, Gabriel ; Gandhi, Kanishk ; Zelikman, Eric.
http://arxiv.org/abs/2306.04031.  , 2023
Link: http://arxiv.org/abs/230..
 
?
6

Solving Math Word Problems by Combining Language Models Wit..:

He-Yueya, Joy ; Poesia, Gabriel ; Wang, Rose E.
http://arxiv.org/abs/2304.09102.  , 2023
Link: http://arxiv.org/abs/230..
 
?
7

Hypothesis Search: Inductive Reasoning with Language Models:

Wang, Ruocheng ; Zelikman, Eric ; Poesia, Gabriel...
http://arxiv.org/abs/2309.05660.  , 2023
Link: http://arxiv.org/abs/230..
 
?
8

LEMMA: Bootstrapping High-Level Mathematical Reasoning with..:

Li, Zhening ; Poesia, Gabriel ; Costilla-Reyes, Omar..
http://arxiv.org/abs/2211.08671.  , 2022
Link: http://arxiv.org/abs/221..
 
?
9

Peano: Learning Formal Mathematical Reasoning:

Poesia, Gabriel ; Goodman, Noah D
http://arxiv.org/abs/2211.15864.  , 2022
Link: http://arxiv.org/abs/221..
 
?
10

Parsel: Algorithmic Reasoning with Language Models by Compo..:

Zelikman, Eric ; Huang, Qian ; Poesia, Gabriel..
http://arxiv.org/abs/2212.10561.  , 2022
Link: http://arxiv.org/abs/221..
 
?
11

Synchromesh: Reliable code generation from pre-trained lang..:

Poesia, Gabriel ; Polozov, Oleksandr ; Le, Vu...
http://arxiv.org/abs/2201.11227.  , 2022
Link: http://arxiv.org/abs/220..
 
?
12

Contrastive Reinforcement Learning of Symbolic Reasoning Do..:

Poesia, Gabriel ; Dong, WenXin ; Goodman, Noah
http://arxiv.org/abs/2106.09146.  , 2021
Link: http://arxiv.org/abs/210..
 
?
13

Open-domain clarification question generation without quest..:

White, Julia ; Poesia, Gabriel ; Hawkins, Robert..
http://arxiv.org/abs/2110.09779.  , 2021
Link: http://arxiv.org/abs/211..
 
?
14

Left to the Reader: Abstracting Solutions in Mathematical R..:

Poesia Reis e Silva, Gabriel ; Goodman, Noah
qt0j8753pd.  , 2022
Link: https://escholarship.org..
 
1-14