arxiv:2606.07597
Lisa Alazraki
LisaAlaz
AI & ML interests
PhD student @ NLP Group, Imperial College London
Recent Activity
upvoted a paper 16 days ago
CulturalRiddles: A Multicultural Benchmark of Riddles authored a paper 5 months ago
Repetition Mismatch: Why Data Mixture Experiments Don't Scale and How to Fix Them upvoted a paper 5 months ago
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation