Thibaut Barroyer's picture

3 9

Thibaut Barroyer

thibautbar

·

thibautbar

AI & ML interests

None yet

Recent Activity

published a model 1 day ago

thibautbar/nanolm-0.3B-instruct

published a model 1 day ago

thibautbar/nanolm-1.4B

published a model 1 day 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 6 days ago • 11

thibautbar/nanolm-1.4B

1B • Updated 18 days ago • 13

thibautbar/nanolm-0.3B-instruct

Text Generation • 0.3B • Updated 25 days ago • 11

thibautbar/nanolm-0.3B

0.3B • Updated 26 days ago • 14

datasets 0

None public yet