pith. sign in

hub Baseline reference

Star: A benchmark for situated reasoning in real-world videos

Baseline reference. 60% of citing Pith papers use this work as a benchmark or comparison.

12 Pith papers citing it
Baseline 60% of classified citations

hub tools

citation-role summary

dataset 3 background 2

citation-polarity summary

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.

LLaVA-Video: Video Instruction Tuning With Synthetic Data

cs.CV · 2024-10-03 · unverdicted · novelty 6.0

LLaVA-Video-178K is a new synthetic video instruction dataset that, when combined with existing data to train LLaVA-Video, produces strong results on video understanding benchmarks.

citing papers explorer

Showing 12 of 12 citing papers.