Concepedia

Wenda Li

WL

4

Publications

74

Citations

4

H-Index

2017

Active since

Affiliations

University of Cambridge(Current)

Wenda Li is an author at University of Cambridge specializing in computer science, engineering, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningSyntaxGrammarLanguageLinguisticsCryptographyVerificationData Security

Publications per year

2017–2024

4

Publications

4

Evaluating language models for mathematics through interactions

Katherine M. Collins, Albert Q. Jiang, Simon Frieder et al. · Proceedings of the National Academy of Sciences · 2024 · 38 citations · Full text

Llm Fine-tuning, Engineering, Mathematical Linguistics +20

Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL

Wenda Li, Grant Olney Passmore, Lawrence C. Paulson · Journal of Automated Reasoning · 2017 · 13 citations · Full text

Cryptographic Primitive, Engineering, Automated Reasoning +8

Evaluating Winding Numbers and Counting Complex Roots Through Cauchy Indices in Isabelle/HOL

Wenda Li, Lawrence C. Paulson · Journal of Automated Reasoning · 2019 · 12 citations · Full text

Simple Type Theory is not too Simple: Grothendieck’s Schemes Without Dependent Types

Anthony Bordg, Lawrence C. Paulson, Wenda Li · Experimental Mathematics · 2022 · 11 citations · Full text

Rows per page

1–4 of 4