Wenda Li

Identifiers

• name variant Wenda Li 0.60 · backfill

Papers (6)

1. Hierarchical Alignment: Enforcing Hierarchical Instruction-Following in LLMs through Logical Consistency cs.CL · 2026 · author #4
2. Can I Have Your Order? Monte-Carlo Tree Search for Slot Filling Ordering in Diffusion Language Models cs.AI · 2026 · author #4
3. PiCSAR: Probabilistic Confidence Selection And Ranking for Reasoning Chains cs.CL · 2025 · author #7
4. Counting Polynomial Roots in Isabelle/HOL: A Formal Proof of the Budan-Fourier Theorem cs.LO · 2018 · author #1
5. Exploiting WiFi Channel State Information for Residential Healthcare Informatics eess.SP · 2017 · author #5
6. Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL cs.LO · 2015 · author #1

Mentions

• 1506.08238 #1 · backfill · confidence 0.70 Wenda Li
• 2602.12586 #4 · arxiv_oai · confidence 0.70 Wenda Li

Frequent Coauthors

• Eleonora Giunchiglia 2 shared papers
• Joshua Ong Jun Leang 2 shared papers
• Lawrence C. Paulson 2 shared papers
• Shay B. Cohen 2 shared papers
• Aryo Pradipta Gema 1 shared papers
• Bo Tan 1 shared papers
• Di Wang 1 shared papers
• Grant Olney Passmore 1 shared papers
• Karl Woodbridge 1 shared papers
• Kevin Chetty 1 shared papers
• Mihaela C\u{a}t\u{a}lina Stoian 1 shared papers
• Pasquale Minervini 1 shared papers
• Qingchao Chen 1 shared papers
• Robert Piechocki 1 shared papers
• Shu Yang 1 shared papers
• Sohee Yang 1 shared papers
• Wai-Chung Kwan 1 shared papers
• Xuanli He 1 shared papers
• Yu Zhao 1 shared papers
• Zheng Zhao 1 shared papers