Search research

Topics & fields

241–270 of 3,667

Papers

CardsList
  1. ExecRubrics: Executable Tool-Augmented Rubrics for Verifiable and Efficient Long-Form Evaluation

    Aug 23, 2026Kaustubh D. Dhole, Charles L. A. Clarke, Eugene Y. AgichteinRubrics

  2. Certified Program Synthesis with a Multi-Modal Verifier

    Apr 17, 2026Yueyang Feng, Dipesh Kafle, Vladimir Gladshtein +5Mock-Interface SynthesisVerifier