pith. sign in

Title resolution pending

5 Pith papers cite this work. Polarity classification is still indexing.

5 Pith papers citing it

years

2026 3 2025 2

verdicts

UNVERDICTED 5

representative citing papers

Agentic Verification of Software Systems

cs.SE · 2025-11-21 · unverdicted · novelty 6.0

AutoRocq is an LLM agent that learns proofs on-the-fly by collaborating with the Rocq prover to verify programs on SV-COMP benchmarks and Linux kernel modules.

To Copilot and Beyond: 22 AI Systems Developers Want Built

cs.SE · 2026-04-09 · unverdicted · novelty 5.0

Survey of 860 developers reveals 22 desired AI systems for non-coding tasks with explicit constraints on authority, provenance, and quality signals, framed as bounded delegation where AI handles assembly work but not core craft.

citing papers explorer

Showing 5 of 5 citing papers.