Elyas Obbad

ZIP-FIT: Embedding-Free Data Selection via Compression-Based Alignment for Code

Curating High Quality Pretraining Data for Language Models via Compression Ratios

Evaluating the Robustness of Chinchilla Compute-Optimal Scaling

VeriBench: End-to-End Formal Verification Benchmark for AI Code Generation in Lean 4

Data Alignment Predicts Language Model Performance: Evidence from Controlled Experiments in Autoformalization

ZIP-FIT: Embedding-Free Data Selection via Compression-Based Alignment