Wenda Li
Identifiers
No identifiers captured yet.
Papers (5)
- Hierarchical Alignment: Enforcing Hierarchical Instruction-Following in LLMs through Logical Consistency cs.CL · 2026 · author #4
- PiCSAR: Probabilistic Confidence Selection And Ranking for Reasoning Chains cs.CL · 2025 · author #7
- Counting Polynomial Roots in Isabelle/HOL: A Formal Proof of the Budan-Fourier Theorem cs.LO · 2018 · author #1
- Exploiting WiFi Channel State Information for Residential Healthcare Informatics eess.SP · 2017 · author #5
- Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL cs.LO · 2015 · author #1
Mentions
No mention provenance yet.
Frequent Coauthors
- Lawrence C. Paulson 2 shared papers
- Aryo Pradipta Gema 1 shared papers
- Bo Tan 1 shared papers
- Di Wang 1 shared papers
- Eleonora Giunchiglia 1 shared papers
- Grant Olney Passmore 1 shared papers
- Joshua Ong Jun Leang 1 shared papers
- Karl Woodbridge 1 shared papers
- Kevin Chetty 1 shared papers
- Pasquale Minervini 1 shared papers
- Qingchao Chen 1 shared papers
- Robert Piechocki 1 shared papers
- Shay B. Cohen 1 shared papers
- Shu Yang 1 shared papers
- Sohee Yang 1 shared papers
- Wai-Chung Kwan 1 shared papers
- Xuanli He 1 shared papers
- Zheng Zhao 1 shared papers
- Zihao Zhou 1 shared papers