pith. sign in

Notice that the previous context is empty in the user input

**After full expansion**,`(a + b)^2` becomes`a*a + a*b + b*a + b*b`, which equals `a^2 + (a*b + b*a) + b^2 = a^2 + 0 + b^2 = a^2 + b^2`

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

1 Pith paper citing it
browse 1 citing papers

fields

cs.AI 1

years

2026 1

verdicts

UNVERDICTED 1

representative citing papers

A Minimal Agent for Automated Theorem Proving

cs.AI · 2026-02-27 · unverdicted · novelty 6.0

A minimal agentic system achieves competitive performance in automated theorem proving with a simpler design and lower cost than state-of-the-art methods.

citing papers explorer

Showing 1 of 1 citing paper.

  • A Minimal Agent for Automated Theorem Proving cs.AI · 2026-02-27 · unverdicted · none · ref 79

    A minimal agentic system achieves competitive performance in automated theorem proving with a simpler design and lower cost than state-of-the-art methods.