Jonas Bayer's picture

3

Jonas Bayer

TBUGTB

·

AI & ML interests

Math & AI

Organizations

Articles 2

Article

11

Kimina-Prover-RL

Article

53

Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models

View all Articles

models 0

None public yet

datasets 2

TBUGTB/ft-generated-proof

Viewer • Updated Sep 2 • 96 • 14

TBUGTB/mizar-proof-pairs

Viewer • Updated Sep 1 • 10k • 12