pith. sign in

European Conference on Computer Vision , pages=

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

8 Pith papers citing it

years

2026 8

representative citing papers

OProver: A Unified Framework for Agentic Formal Theorem Proving

cs.CL · 2026-05-17 · unverdicted · novelty 6.0

OProver-32B achieves top Pass@32 scores on MiniF2F, ProverBench, and PutnamBench by combining continued pretraining with iterative agentic proving, retrieval, SFT on repairs, and RL on unresolved cases using a 6.86M-proof dataset.

citing papers explorer

Showing 8 of 8 citing papers.