Kyle Julian
Identifiers
No identifiers captured yet.
Papers (3)
- Decomposition Methods with Deep Corrections for Reinforcement Learning cs.LG · 2018 · author #2
- Toward Scalable Verification for Safety-Critical Deep Networks cs.AI · 2018 · author #4
- Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks cs.AI · 2017 · author #4
Mentions
No mention provenance yet.
Frequent Coauthors
- Clark Barrett 2 shared papers
- Guy Katz 2 shared papers
- Mykel Kochenderfer 2 shared papers
- Alireza Nakhaei 1 shared papers
- David Dill 1 shared papers
- Justin Gottschlich 1 shared papers
- Kikuo Fujimura 1 shared papers
- Lindsey Kuper 1 shared papers
- Maxime Bouton 1 shared papers
- Mykel J. Kochenderfer 1 shared papers