Search research

Topics & fields

5,311–5,340 of 6,027

Papers

CardsList
  1. Autoformalizing Memory Specifications with Agents

    Apr 30, 2026Jan Ole Ernst, Dmitri Michelangelo Saberi, Derek Christ +6Formal VerificationChip Design

  2. ConformaDecompose: Explaining Uncertainty via Calibration Localization

    Apr 29, 2026Fatima Rabia Yapicioglu, Meltem Aksoy, Alberto Rigenti +4Conformal PredictionExplainability