Pith. sign in

Researcher Evidence Record

Wenda Li

This bounded record lists 38 Pith paper rows and 0 imported work rows attributed to this corpus identity. The enumerated, non-disputed paper rows include cs.AI, cs.LG, eess.SP work dated 2015 to 2026. The record describes sources and coverage; it makes no judgment about the person.

Compiled coverage vector

Measured lane counts only. Not a trust score or person verdict.

Identity 2 canonical identity row plus typed public identifiers Pith papers 38 attributed paper rows in the Pith corpus, itemized below Imported works 0 imported works beyond the paper ledger Current reviews 7 of 38 papers carrying a current Pith review; presence, not outcome Sourced citations 12 of 38 works with a source-named citation count Coauthors 50 distinct coauthors across shared paper rows
Enumerated paper scope: 9 fields (cs.AI, cs.LG, eess.SP, +6 more) · 2015-2026 sources: authors, author_identifiers · paper_authors · author_works · current_verdicts · cited_works

A sourced case file for attributed work. It is neither a profile score nor a verdict about this researcher.

Attributed works

A bounded ledger from the Pith paper and imported-work queries. Counts and source confidence stay with each work.

  1. 2026 Pith paper

    AoA: Theorem Proving Agent over Abstract Syntax Tree of Redesigned Language

    cs.SE provisional current review present

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  2. 2026 Pith paper

    Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation

    cs.AI provisional current review present

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    6
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  3. 2026 Pith paper

    Specialize Roles, Mix Deployments: Pushing the Cost-Accuracy Frontier of LLM Agent Teams

    cs.MA provisional current review present

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    7
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  4. 2026 Pith paper

    Hierarchical Alignment: Enforcing Hierarchical Instruction-Following in LLMs through Logical Consistency

    cs.CL provisional current review present

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    backfill
    Printed name
    Wenda Li
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    • 1 pith inbound references from cited_work_pith_inbound_counts
  5. 2026 Pith paper

    Can I Have Your Order? Monte-Carlo Tree Search for Slot Filling Ordering in Diffusion Language Models

    cs.AI provisional current review present

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  6. 2025 Pith paper

    Coarse-to-Fine Hierarchical Alignment for UAV-based Human Detection using Diffusion Models

    cs.CV provisional current review present

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  7. 2025 Pith paper

    PiCSAR: Probabilistic Confidence Selection And Ranking for Reasoning Chains

    cs.CL provisional current review present

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    7
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  8. 2025 Pith paper

    Eeyore: Realistic Depression Simulation via Supervised and Preference Optimization

    cs.CL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  9. 2024 Pith paper

    Formal Mathematical Reasoning: A New Frontier in AI

    cs.AI provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 10 pith inbound references from cited_work_pith_inbound_counts
  10. 2024 Pith paper

    End-to-End Ontology Learning with Large Language Models

    cs.LG provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 1 external cited by from pith
    • 1 pith inbound references from cited_work_pith_inbound_counts
  11. 2024 Pith paper

    Learning a Mini-batch Graph Transformer via Two-stage Interaction Augmentation

    cs.LG provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  12. 2024 Pith paper

    Repurposing Language Models into Embedding Models: Finding the Compute-Optimal Recipe

    cs.LG provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  13. 2024 Pith paper

    Proving Theorems Recursively

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  14. 2024 Pith paper

    DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

    cs.AI provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    8
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 4 external cited by from pith
    • 30 pith inbound references from cited_work_pith_inbound_counts
  15. 2024 Pith paper

    Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization

    cs.AI provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 2 pith inbound references from cited_work_pith_inbound_counts
  16. 2023 Pith paper

    Multilingual Mathematical Autoformalization

    cs.CL provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 1 external cited by from pith
    • 5 pith inbound references from cited_work_pith_inbound_counts
  17. 2023 Pith paper

    Message-passing selection: Towards interpretable GNNs for graph classification

    cs.LG provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  18. 2023 Pith paper

    Evaluating Language Models for Mathematics through Interactions

    cs.LG provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    12
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 3 external cited by from arxiv_reference
    • 4 pith inbound references from cited_work_pith_inbound_counts
  19. 2023 Pith paper

    Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving

    cs.CL provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 2 pith inbound references from cited_work_pith_inbound_counts
  20. 2023 Pith paper

    A large-scale multimodal dataset of human speech recognition

    eess.SP provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    5
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  21. 2022 Pith paper

    Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs

    cs.AI provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 25 external cited by from arxiv_reference
    • 24 pith inbound references from cited_work_pith_inbound_counts
  22. 2022 Pith paper

    Autoformalization with Large Language Models

    cs.LG provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 9 pith inbound references from cited_work_pith_inbound_counts
  23. 2022 Pith paper

    Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers

    cs.AI provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 19 external cited by from pith
    • 4 pith inbound references from cited_work_pith_inbound_counts
  24. 2022 Pith paper

    MDPose: Human Skeletal Motion Reconstruction Using WiFi Micro-Doppler Signatures

    cs.CV provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  25. 2021 Pith paper

    OPERAnet: A Multimodal Activity Recognition Dataset Acquired from Radio Frequency and Vision-based Sensors

    eess.SP provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  26. 2021 Pith paper

    Neural Style Transfer Enhanced Training Support For Human Activity Recognition

    eess.SP provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  27. 2021 Pith paper

    FMNet: Latent Feature-wise Mapping Network for Cleaning up Noisy Micro-Doppler Spectrogram

    eess.SP provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  28. 2021 Pith paper

    Simple Type Theory is not too Simple: Grothendieck's Schemes without Dependent Types

    math.AG provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  29. 2021 Pith paper

    Unsupervised Doppler Radar-Based Activity Recognition for e-Healthcare

    cs.LG provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  30. 2021 Pith paper

    SimHumalator: An Open Source WiFi Based Passive Radar Human Simulator For Activity Recognition

    eess.SP provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  31. 2021 Pith paper

    Learning from Natural Noise to Denoise Micro-Doppler Spectrogram

    eess.SP provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  32. 2021 Pith paper

    LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning

    cs.LG provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  33. 2021 Pith paper

    Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  34. 2020 Pith paper

    IsarStep: a Benchmark for High-level Mathematical Reasoning

    cs.LO provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 3 pith inbound references from cited_work_pith_inbound_counts
  35. 2018 Pith paper

    Counting Polynomial Roots in Isabelle/HOL: A Formal Proof of the Budan-Fourier Theorem

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  36. 2018 Pith paper

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

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  37. 2017 Pith paper

    Exploiting WiFi Channel State Information for Residential Healthcare Informatics

    eess.SP provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    5
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.
  38. 2015 Pith paper

    Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Wenda Li
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    No source count is attached to this work row.

Evidence apparatus

The machinery behind this record. Every lane states whether Pith measured it, did not query it, could not reach it, or withheld it.

LaneStateObservedBoundary and source
identity Measured 2 Canonical identity row plus public typed identifiers.
source=authors, author_identifiers
papers Measured 38 of 38 bounded rows Rows attributed to this author UUID in the Pith corpus.
source=paper_authors
works Measured zero 0 of 0 bounded rows Imported works not duplicated by the paper ledger.
source=author_works
reviews Measured 7 of 38 bounded rows Coverage count only. No review outcome is projected onto the person.
source=current_verdicts
citations Measured 12 of 38 bounded rows Counts remain itemized by work and source.
source=cited_works
coauthors Measured 50 of 38 bounded rows Shared-work edges from admitted paper rows.
source=paper_authors
account Unavailable No public count of 1 bounded rows Account metadata is separate from corpus evidence.
source=users.author_id
Public identity sources
  • name variant
    Wenda Li     backfill
    confidence 0.6

identity history

Enumerated research scope

Fields and dates come only from enumerated, non-disputed Pith paper rows. They do not claim career completeness.

  • cs.AI8 rows
  • cs.LG8 rows
  • eess.SP7 rows
  • cs.CL5 rows
  • cs.LO5 rows
  • cs.CV2 rows
  • cs.MA1 rows
  • cs.SE1 rows
  • math.AG1 rows
  • 20151 rows
  • 20171 rows
  • 20182 rows
  • 20201 rows
  • 20219 rows
  • 20224 rows
  • 20235 rows
  • 20247 rows
  • 20253 rows
  • 20265 rows
Shared-work index
Record scope

The work queries are bounded. Missing rows may mean measured zero, an unavailable source, a query that did not run, or private data that Pith withheld. The lane table keeps those cases separate.

Paper findings remain attached to papers. They do not become findings about this researcher.