Kimina-Prover-RL
•
12
Project-Numina
Team
non-profit
AI & ML interests
None defined yet.
Recent Activity
Articles
liyongsea
published
a
dataset
4 days ago
LxYxvv
updated
a
dataset
4 days ago
LxYxvv
updated
2
datasets
about 1 month ago
ranWang
updated
a
dataset
about 1 month ago
liyongsea
published
2
datasets
about 2 months ago
thibautbar
authored
a
paper
5 months ago
HaimingW
authored
7
papers
7 months ago
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
Paper
•
2310.10180
•
Published
•
1
FIMO: A Challenge Formal Dataset for Automated Theorem Proving
Paper
•
2309.04295
•
Published
•
1
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
Paper
•
2402.08957
•
Published
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
Paper
•
2406.14408
•
Published
Process-Driven Autoformalization in Lean 4
Paper
•
2406.01940
•
Published
DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning
Paper
•
2310.02954
•
Published
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Paper
•
2504.11354
•
Published
•
6
desaxce
authored
a
paper
7 months ago
lewtun
authored
a
paper
7 months ago
spolu
authored
a
paper
7 months ago
rookiemango
authored
a
paper
8 months ago
lewtun
authored
a
paper
8 months ago