Pith. sign in

Title resolution pending

By ρ-worst-case robustness we also have that E2 = LWC D (σER D ) − LWC D (σWC D ) ⩽ ρ(D) + ϵ 2 with probability 1 − δ

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it
browse 1 citing papers

Title metadata for this work has not finished resolving. The hub is built from the citation graph; the title resolver retries DOI and OpenAlex on its next pass.

fields

cs.AI 1

years

2024 1

verdicts

CONDITIONAL 1

representative citing papers

Neural Interactive Proofs

cs.AI · 2024-12-12 · conditional · novelty 6.0

The paper introduces a generalised prover-verifier game framework for 'neural interactive proofs', proves equilibria correspond to valid proof systems, and demonstrates modest gains in code validation with large language models.

citing papers explorer

Showing 1 of 1 citing paper.

  • Neural Interactive Proofs cs.AI · 2024-12-12 · conditional · none · ref 2

    The paper introduces a generalised prover-verifier game framework for 'neural interactive proofs', proves equilibria correspond to valid proof systems, and demonstrates modest gains in code validation with large language models.