Search research

Topics & fields

151–180 of 3,667

Papers

CardsList
  1. Pseudo-Formalization for Automatic Proof Verification

    May 19, 2026Slim Barkallah, Luke Bailey, Kaiyue Wen +2ProofFormalization

  2. SHRIMP: Iterative Refinement of Robot Task Plans

    Aug 9, 2026Mya Schroder, Yuna Hwang, Callie Y. Kim +5Robot SystemsIterative Refinement

  3. Large Language Models Do Not Always Need Readable Language

    Jun 18, 2026Jiayi Zhu, Haoxuan Peng, Junxi Wang +3Agent Memory