Get started
Author

Yael Dillies

Observed names: Dillies, Yael, Dillies, Yaël, Yaël Dillies
ORCID: 0000-0002-5369-8671
Observed ORCID: 0000-0002-5369-8671
OpenAlex ID: A5120023974
Formalising Szemerédi’s Regularity Lemma in Lean
2022 · Dillies, Yaël, Mehta, Bhavik · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2
PDF
A Proof of the OEIS A105565 Discrepancy Bound
2026 · Moritz Firsching, Paul Lezeau, et al. · Zenodo (CERN European Organization for Nuclear Research)
Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics
2026 · Firsching, Moritz, Lezeau, Paul, et al. · arXiv (Cornell University)
PDF
CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics
2025 · Liu, Junqi, Lin, Xiaohan, et al. · arXiv (Cornell University)
PDF
Works count: 5
Citation count: 2
H-index: 1
I10-index:
Year
Topic
Type