Thibaut Barroyer's picture

3 9

Thibaut Barroyer

thibautbar

·

thibautbar

AI & ML interests

None yet

Recent Activity

published a model 3 days ago

thibautbar/nanolm-0.3B-instruct

published a model 3 days ago

thibautbar/nanolm-1.4B

published a model 3 days ago

thibautbar/nanolm-0.3B

View all activity

Organizations

Articles 2

Article

15

Kimina-Prover-RL

Article

54

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

View all Articles

Papers 1

arxiv:2504.11354

models 4

thibautbar/nanolm-1.4B-instruct

Text Generation • 1B • Updated 9 days ago • 12

thibautbar/nanolm-1.4B

1B • Updated 21 days ago • 14

thibautbar/nanolm-0.3B-instruct

Text Generation • 0.3B • Updated 28 days ago • 12

thibautbar/nanolm-0.3B

0.3B • Updated 28 days ago • 15

datasets 0

None public yet