0

Mantas Baksys

Papers
2

Cite

Notes

Only stored in your browser.

Attribution

Affiliations & profile
Semantic Scholar
Attribution policy →
2papers

Authored papers

2

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning

arXiv 2025

2025

Formal Mathematics Statement Curriculum Learning

arXiv 2022

2022

Affiliations

No known affiliations.

Frequent co-authors

10

from 2 papers

Stanislas Polu

founder

2 shared papers

Bolton Bailey

1 shared paper

Chendong Song

1 shared paper

Chenjun Xiao

1 shared paper

Dehao Zhang

1 shared paper

Ebony Zhang

1 shared paper

Flood Sung

1 shared paper

Frederick Pu

1 shared paper

Haiming Wang

1 shared paper

Han Zhu

1 shared paper