Search Results - Loughridge, Chloe

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    Opening the AI Black Box: Distilling Machine-Learned Algorithms into Code

    Opening the AI Black Box: Distilling Machine-Learned Algorithms into Code by Michaud, Eric J., Liao, Isaac, Lad, Vedang, Liu, Ziming, Mudide, Anish, Loughridge, Chloe, Guo, Zifan Carl, Kheirkhah, Tara Rezaei, Vukelić, Mateja, Tegmark, Max

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    dafny-annotator: AI-Assisted Verification of Dafny Programs

    dafny-annotator: AI-Assisted Verification of Dafny Programs by Poesia, Gabriel, Loughridge, Chloe, Amin, Nada

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Verified Multi-Step Synthesis using Large Language Models and Monte Carlo Tree Search

    Verified Multi-Step Synthesis using Large Language Models and Monte Carlo Tree Search by Brandfonbrener, David, Sibi Raja, Prasad, Tarun, Loughridge, Chloe, Yang, Jianang, Henniger, Simon, Byrd, William E, Zinkov, Robert, Amin, Nada

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    DafnyBench: A Benchmark for Formal Software Verification

    DafnyBench: A Benchmark for Formal Software Verification by Loughridge, Chloe, Sun, Qinyi, Ahrenbach, Seth, Cassano, Federico, Sun, Chuyue, Sheng, Ying, Mudide, Anish, Md Rakib Hossain Misu, Amin, Nada, Tegmark, Max

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Opening the AI black box: program synthesis via mechanistic interpretability

    Opening the AI black box: program synthesis via mechanistic interpretability by Michaud, Eric J, Liao, Isaac, Lad, Vedang, Liu, Ziming, Mudide, Anish, Loughridge, Chloe, Guo, Zifan Carl, Tara Rezaei Kheirkhah, Vukelić, Mateja, Tegmark, Max

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: