Mohamed El Amine Seddik

Accurate and Diverse LLM Mathematical Reasoning via Automated PRM-Guided GFlowNets

$\alpha$-LoRA: Effective Fine-Tuning via Base Model Rescaling

Maximizing the Potential of Synthetic Data: Insights from Random Matrix Theory

Synthetic Theorem Generation in Lean