activity
20162025
most citedKimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning

1 citations · 2 across the 6 of their papers we have counts for

collaborators
Showing 2020 · cs.AIShow all

Nothing from them under that filter.

Their other years and fields are still on the left.