2 papers
cs.AI2026
An AI-Assisted Formalization of the Poincaré Conjecture
Zhiyuan Zhang, Axel Delaval, Leheng Chen +6
We present an AI-assisted Lean 4 formalization of the Poincaré conjecture. The project began with limited reusable formal infrastructure for the geometric analysis behind the proof…
cs.CL2025
ToxiFrench: Benchmarking and Enhancing Language Models via CoT Fine-Tuning for French Toxicity Detection
Axel Delaval, Shujian Yang, Haicheng Wang +2
Detecting toxic content using language models is crucial yet challenging. While substantial progress has been made in English, toxicity detection in French remains underdeveloped,…