Pith. sign in

hub

arXiv preprint arXiv:2411.13093 , year=

19 Pith papers cite this work, alongside 1 external citations. Polarity classification is still indexing.

19 Pith papers citing it
1 external citations · external index

hub tools

citation-role summary

background 2 baseline 1

citation-polarity summary

years

2026 18 2025 1

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.

Kwai Keye-VL-2.0 Technical Report

cs.CV · 2026-06-09 · unverdicted · novelty 4.0

Kwai Keye-VL-2.0-30B-A3B is a 30B MoE model with 3B active parameters using DSA adaptation and MOPD distillation that reports SOTA results on video understanding and agent benchmarks.

citing papers explorer

Showing 19 of 19 citing papers.