Thibaut Barroyer's picture

3 9

Thibaut Barroyer

thibautbar

·

thibautbar

AI & ML interests

None yet

Recent Activity

published a model 6 days ago

thibautbar/nanolm-0.3B-instruct

published a model 6 days ago

thibautbar/nanolm-1.4B

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

thibautbar/nanolm-1.4B

1B • Updated 23 days ago • 14

thibautbar/nanolm-0.3B-instruct

Text Generation • 0.3B • Updated 30 days ago • 10

thibautbar/nanolm-0.3B

0.3B • Updated about 1 month ago • 10

datasets 0

None public yet