Picture for Mert Unsal

Mert Unsal

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

Add code
Apr 15, 2025
Viaarxiv icon

FlexTrain: A Dynamic Training Framework for Heterogeneous Devices Environments

Add code
Oct 31, 2023
Figure 1 for FlexTrain: A Dynamic Training Framework for Heterogeneous Devices Environments
Figure 2 for FlexTrain: A Dynamic Training Framework for Heterogeneous Devices Environments
Figure 3 for FlexTrain: A Dynamic Training Framework for Heterogeneous Devices Environments
Figure 4 for FlexTrain: A Dynamic Training Framework for Heterogeneous Devices Environments
Viaarxiv icon