Lean-ing on Quality: How High-Quality Data Beats Diverse Multilingual Data in AutoFormalization

Documenti analoghi

• Beyond Scale: The Diversity Coefficient as a Data Quality Metric for Variability in Natural Language Data
  di: Miranda, Brando, et al.
  Pubblicazione: (2023)
• ZIP-FIT: Embedding-Free Data Selection via Compression-Based Alignment
  di: Obbad, Elyas, et al.
  Pubblicazione: (2024)
• Quantifying the Importance of Data Alignment in Downstream Model Performance
  di: Chawla, Krrish, et al.
  Pubblicazione: (2025)
• Putnam-AXIOM: A Functional and Static Benchmark for Measuring Higher Level Mathematical Reasoning in LLMs
  di: Gulati, Aryan, et al.
  Pubblicazione: (2025)
• Evaluating the Robustness of Chinchilla Compute-Optimal Scaling
  di: Schaeffer, Rylan, et al.
  Pubblicazione: (2025)