Researcher
Co-author of a paper on the limitations of AI autoformalisation and semantic translation in mathematical proofs.
Referenced in coverage
“Co-authored research demonstrating that AI translation of proofs into Lean can alter meaning and create false confidence in mathematical verification.”
“Co-author of a paper on the limitations of AI autoformalisation and semantic translation in mathematical proofs.”