Search Results - Rothkopf, Raven

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    Procedural Adherence and Interpretability Through Neuro-Symbolic Generative Agents

    Procedural Adherence and Interpretability Through Neuro-Symbolic Generative Agents by Rothkopf, Raven, Zeng, Hannah Tongxin, Santolucito, Mark

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Rose: Composable Autodiff for the Interactive Web

    Rose: Composable Autodiff for the Interactive Web by Estep, Sam, Ni, Wode, Rothkopf, Raven, Sunshine, Joshua

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Connecting the Dots: Evaluating Abstract Reasoning Capabilities of LLMs Using the New York Times Connections Word Game

    Connecting the Dots: Evaluating Abstract Reasoning Capabilities of LLMs Using the New York Times Connections Word Game by Samadarshi, Prisha, Mustafa, Mariam, Kulkarni, Anushka, Rothkopf, Raven, Chakrabarty, Tuhin, Muresan, Smaranda

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis

    Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis by Murphy, William, Holzer, Nikolaus, Qiao, Feitong, Cui, Leyi, Rothkopf, Raven, Koenig, Nathan, Santolucito, Mark

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control

    Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control by Murphy, William, Holzer, Nikolaus, Koenig, Nathan, Cui, Leyi, Rothkopf, Raven, Qiao, Feitong, Santolucito, Mark

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

Search Tools: