Pith. sign in

Title resolution pending

Yasuhito Arimoto, Shusaku Iida, Kokichi Futatsugi · 2012 · DOI 10.1587/transinf.e95.d.1342

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

1 Pith paper citing it
open at publisher 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.LO 1

years

2025 1

verdicts

ACCEPT 1

representative citing papers

Proof Scores: A Survey (full version)

cs.LO · 2025-04-20 · accept · novelty 2.0

A comprehensive survey of proof scores: their algebraic foundations, supporting tools, successful applications, and the adoption challenges the community still faces.

citing papers explorer

Showing 1 of 1 citing paper.

  • Proof Scores: A Survey (full version) cs.LO · 2025-04-20 · accept · none · ref 9

    A comprehensive survey of proof scores: their algebraic foundations, supporting tools, successful applications, and the adoption challenges the community still faces.