pith. sign in

**OUTPUT** 4.0 ### Example 4.0−B (complex propagation: wrong theorem form reused; child has extra arithmetic error) **CONTEXT_UP_TO_CHILD**

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

1 Pith paper citing it

citation-role summary

background 1

citation-polarity summary

fields

cs.AI 1

years

2026 1

verdicts

UNVERDICTED 1

roles

background 1

polarities

background 1

representative citing papers

citing papers explorer

Showing 1 of 1 citing paper.