Picture for Léo Dreyfus-Schmidt

Léo Dreyfus-Schmidt

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

Add code
Apr 15, 2025
Viaarxiv icon

Transferability Metrics for Object Detection

Add code
Jun 27, 2023
Viaarxiv icon

Towards Clear Expectations for Uncertainty Estimation

Add code
Jul 27, 2022
Figure 1 for Towards Clear Expectations for Uncertainty Estimation
Figure 2 for Towards Clear Expectations for Uncertainty Estimation
Viaarxiv icon

Performance Prediction Under Dataset Shift

Add code
Jun 21, 2022
Figure 1 for Performance Prediction Under Dataset Shift
Figure 2 for Performance Prediction Under Dataset Shift
Figure 3 for Performance Prediction Under Dataset Shift
Figure 4 for Performance Prediction Under Dataset Shift
Viaarxiv icon

Sample Noise Impact on Active Learning

Add code
Sep 03, 2021
Figure 1 for Sample Noise Impact on Active Learning
Figure 2 for Sample Noise Impact on Active Learning
Figure 3 for Sample Noise Impact on Active Learning
Figure 4 for Sample Noise Impact on Active Learning
Viaarxiv icon

Ensembling Shift Detectors: an Extensive Empirical Evaluation

Add code
Jun 28, 2021
Figure 1 for Ensembling Shift Detectors: an Extensive Empirical Evaluation
Figure 2 for Ensembling Shift Detectors: an Extensive Empirical Evaluation
Figure 3 for Ensembling Shift Detectors: an Extensive Empirical Evaluation
Figure 4 for Ensembling Shift Detectors: an Extensive Empirical Evaluation
Viaarxiv icon

Rebuilding Trust in Active Learning with Actionable Metrics

Add code
Dec 18, 2020
Figure 1 for Rebuilding Trust in Active Learning with Actionable Metrics
Figure 2 for Rebuilding Trust in Active Learning with Actionable Metrics
Figure 3 for Rebuilding Trust in Active Learning with Actionable Metrics
Figure 4 for Rebuilding Trust in Active Learning with Actionable Metrics
Viaarxiv icon