pith. machine review for the scientific record. sign in

Carolyn Rose

Identifiers

No identifiers captured yet.

Papers (5)

  1. ReaComp: Compiling LLM Reasoning into Symbolic Solvers for Efficient Program Synthesis cs.CL · 2026 · author #4
  2. Useless but Safe? Benchmarking Utility Recovery with User Intent Clarification in Multi-Turn Conversations cs.CL · 2026 · author #4
  3. Argument Reconstruction as Supervision for Critical Thinking in LLMs cs.CL · 2026 · author #5
  4. MetaLint: Easy-to-Hard Generalization for Code Linting cs.SE · 2025 · author #7
  5. Stress Test Evaluation for Natural Language Inference cs.CL · 2018 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors