Heidy Khlaaf
Identifiers
No identifiers captured yet.
Papers (2)
- Evaluating Large Language Models Trained on Code cs.LG · 2021 · author #15
- T2: Temporal Property Verification cs.LO · 2015 · author #4
Mentions
No mention provenance yet.
Frequent Coauthors
- Alec Radford 1 shared papers
- Alethea Power 1 shared papers
- Alex Nichol 1 shared papers
- Alex Paino 1 shared papers
- Alex Ray 1 shared papers
- Andrew N. Carr 1 shared papers
- Ariel Herbert-Voss 1 shared papers
- Bob McGrew 1 shared papers
- Brooke Chan 1 shared papers
- Byron Cook 1 shared papers
- Christopher Hesse 1 shared papers
- Clemens Winter 1 shared papers
- Dario Amodei 1 shared papers
- Dave Cummings 1 shared papers
- Elizabeth Barnes 1 shared papers
- Evan Morikawa 1 shared papers
- Felipe Petroski Such 1 shared papers
- Fotios Chantzis 1 shared papers
- Girish Sastry 1 shared papers
- Greg Brockman 1 shared papers