Search research

Topics & fields

2,251–2,280 of 2,587

Papers

CardsList
  1. FVSpec: Real-World Property-Based Tests as Lean Challenges

    May 31, 2026Quinn Dougherty, Max von Hippel, Simon Henniger +2Formal VerificationTest Generation

  2. Recursive Harness Self-Improvement

    Jul 17, 2026Hyunin Lee, Jinglue Xu, Jeffrey Seely +3Agent HarnessRecursive Self-Improvement