معرفی
Chris Stone is a Professor specializing in formal methods and the intersection of natural language processing with mathematical proofs. He co-directs the Math+CS Clinic Program at his institution alongside Prof. Talithia Williams (Math) and Prof. Ben Wiedermann (CS). His research focuses on improving the readability and accessibility of computer-verified proofs, analyzing language patterns in academic mathematical proofs, and developing tools like the ProofLang Corpus. He collaborates extensively with undergraduate researchers and has contributed to foundational work in proof assistants such as Coq and Andromeda.
His work bridges theoretical computer science and practical applications, including tools like RZ for computable mathematics and studies in multithreading performance optimization. He explores how imperative language structures in proofs affect formal verification systems, retraining NLP models to better parse mathematical texts.
Key contributions include analyzing over 3.7M proofs from arXiv.org to identify linguistic patterns and collocations, discovering that phrases like 'without loss of generality' exhibit predictable syntactic structures. His projects also span curriculum analysis (CS Curricula: https://cscurricula.fyi) and explorations of non-classical logics.
Labs/Teams: Principal investigator of the ProofLang Corpus project and core member of the Math+CS Clinic program. Current research directions include making proof assistants more user-friendly for mathematicians and improving cross-disciplinary collaboration through language-aware verification systems.
