Pith. sign in

Researcher Evidence Record

Yuhuai Wu

This bounded record lists 48 Pith paper rows and 0 imported work rows attributed to this corpus identity. The enumerated, non-disputed paper rows include cs.LG, cs.AI, cs.CL work dated 2014 to 2024. 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.

Enumerated paper scope: 7 fields (cs.LG, cs.AI, cs.CL, +4 more) · 2014-2024 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. 2024 Pith paper

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

    cs.AI provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuhuai Wu
    Author position
    6
    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
  2. 2024 Pith paper

    REFACTOR: Learning to Extract Theorems from Proofs

    cs.AI provisional measured, no current review

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

    Focused Transformer: Contrastive Training for Context Scaling

    cs.CL provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuhuai Wu
    Author position
    4
    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
  4. 2023 Pith paper

    Length Generalization in Arithmetic Transformers

    cs.LG provisional measured, no current review

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

    Evaluating Language Models for Mathematics through Interactions

    cs.LG provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuhuai Wu
    Author position
    8
    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
  6. 2023 Pith paper

    Lexinvariant Language Models

    cs.CL provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuhuai Wu
    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.
  7. 2023 Pith paper

    PaLM 2 Technical Report

    cs.CL provisional current review present

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuhuai Wu
    Author position
    116
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    • 163 external cited by from pith
    • 105 pith inbound references from cited_work_pith_inbound_counts
  8. 2023 Pith paper

    Magnushammer: A Transformer-Based Approach to Premise Selection

    cs.LG provisional measured, no current review

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

    Path Independent Equilibrium Models Can Better Exploit Test-Time Computation

    cs.LG provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuhuai Wu
    Author position
    5
    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
  10. 2022 Pith paper

    Holistic Evaluation of Language Models

    cs.CL provisional current review present

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuhuai Wu
    Author position
    9
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    • 16 external cited by from pith
    • 173 pith inbound references from cited_work_pith_inbound_counts
  11. 2022 Pith paper

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

    cs.AI provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuhuai Wu
    Author position
    8
    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
  12. 2022 Pith paper

    Language Model Cascades

    cs.CL provisional measured, no current review

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

    Exploring Length Generalization in Large Language Models

    cs.CL provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuhuai Wu
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 45 external cited by from arxiv_reference
    • 3 pith inbound references from cited_work_pith_inbound_counts
  14. 2022 Pith paper

    Solving Quantitative Reasoning Problems with Language Models

    cs.CL provisional current review present

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuhuai Wu
    Author position
    11
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    • 281 external cited by from pith
    • 56 pith inbound references from cited_work_pith_inbound_counts
  15. 2022 Pith paper

    Insights into Pre-training via Simpler Synthetic Tasks

    cs.LG provisional measured, no current review

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

    Fast and Precise: Adjusting Planning Horizon with Adaptive Subgoal Search

    cs.AI provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuhuai Wu
    Author position
    7
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 1 pith inbound references from cited_work_pith_inbound_counts
  17. 2022 Pith paper

    Autoformalization with Large Language Models

    cs.LG provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuhuai Wu
    Author position
    1
    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
  18. 2022 Pith paper

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

    cs.AI provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuhuai Wu
    Author position
    7
    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
  19. 2022 Pith paper

    STaR: Bootstrapping Reasoning With Reasoning

    cs.LG provisional measured, no current review

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

    Memorizing Transformers

    cs.LG provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuhuai Wu
    Author position
    1
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 22 pith inbound references from cited_work_pith_inbound_counts
  21. 2022 Pith paper

    Block-Recurrent Transformers

    cs.LG provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuhuai Wu
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 28 external cited by from arxiv_reference
    • 2 pith inbound references from cited_work_pith_inbound_counts
  22. 2021 Pith paper

    Hierarchical Transformers Are More Efficient Language Models

    cs.LG provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuhuai Wu
    Author position
    5
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 1 pith inbound references from cited_work_pith_inbound_counts
  23. 2021 Pith paper

    Learning to Give Checkable Answers with Prover-Verifier Games

    cs.LG provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuhuai Wu
    Author position
    3
    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
  24. 2021 Pith paper

    Subgoal Search For Complex Reasoning Tasks

    cs.AI provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuhuai Wu
    Author position
    6
    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

    On the Opportunities and Risks of Foundation Models

    cs.LG provisional current review present

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuhuai Wu
    Author position
    103
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    • 13 external cited by from pith
    • 439 pith inbound references from cited_work_pith_inbound_counts
  26. 2021 Pith paper

    Nonlinear Invariant Risk Minimization: A Causal Approach

    cs.LG provisional measured, no current review

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

    Proof Artifact Co-training for Theorem Proving with Language Models

    cs.AI provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuhuai Wu
    Author position
    3
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 6 external cited by from pith
    • 10 pith inbound references from cited_work_pith_inbound_counts
  28. 2021 Pith paper

    LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning

    cs.LG provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuhuai Wu
    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.
  29. 2020 Pith paper

    The Scattering Compositional Learner: Discovering Objects, Attributes, Relationships in Analogical Reasoning

    cs.LG provisional measured, no current review

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

    Learning Branching Heuristics for Propositional Model Counting

    cs.LG provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuhuai Wu
    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.
  31. 2020 Pith paper

    INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving

    cs.AI provisional measured, no current review

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

    IsarStep: a Benchmark for High-level Mathematical Reasoning

    cs.LO provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuhuai Wu
    Author position
    3
    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
  33. 2019 Pith paper

    Options as responses: Grounding behavioural hierarchies in multi-agent RL

    cs.LG provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuhuai Wu
    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. 2019 Pith paper

    Concurrent Meta Reinforcement Learning

    cs.AI provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuhuai Wu
    Author position
    5
    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
  35. 2019 Pith paper

    ACTRCE: Augmenting Experience via Teacher's Advice For Multi-Goal Reinforcement Learning

    cs.LG provisional measured, no current review

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

    Understanding Short-Horizon Bias in Stochastic Meta-Optimization

    cs.LG provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuhuai Wu
    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
  37. 2018 Pith paper

    Some Considerations on Learning to Explore via Meta-Reinforcement Learning

    cs.AI provisional measured, no current review

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

    An Empirical Analysis of Proximal Policy Optimization with Kronecker-factored Natural Gradients

    cs.AI provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuhuai Wu
    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.
  39. 2017 Pith paper

    Backpropagation through the Void: Optimizing control variates for black-box gradient estimation

    cs.LG provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuhuai Wu
    Author position
    3
    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
  40. 2017 Pith paper

    Scalable trust-region method for deep reinforcement learning using Kronecker-factored approximation

    cs.LG provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuhuai Wu
    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.
  41. 2017 Pith paper

    Sticking the Landing: Simple, Lower-Variance Gradient Estimators for Variational Inference

    stat.ML provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuhuai Wu
    Author position
    2
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 73 external cited by from pith
    • 2 pith inbound references from cited_work_pith_inbound_counts
  42. 2016 Pith paper

    On the Quantitative Analysis of Decoder-Based Generative Models

    cs.LG provisional measured, no current review

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

    On Multiplicative Integration with Recurrent Neural Networks

    cs.LG provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuhuai Wu
    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.
  44. 2016 Pith paper

    Path-Normalized Optimization of Recurrent Neural Networks with ReLU Activations

    cs.LG provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuhuai Wu
    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.
  45. 2016 Pith paper

    Architectural Complexity Measures of Recurrent Neural Networks

    cs.LG provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuhuai Wu
    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.
  46. 2015 Pith paper

    STDP as presynaptic activity times rate of change of postsynaptic activity

    cs.NE provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuhuai Wu
    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.
  47. 2014 Pith paper

    Discrete Equidecomposability and Ehrhart Theory of Polygons

    math.CO provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuhuai Wu
    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.
  48. 2014 Pith paper

    Conditions for Discrete Equidecomposability of Polygons

    math.CO provisional measured, no current review

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Yuhuai Wu
    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.

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 48 of 48 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 4 of 48 bounded rows Coverage count only. No review outcome is projected onto the person.
source=current_verdicts
citations Measured 35 of 48 bounded rows Counts remain itemized by work and source.
source=cited_works
coauthors Measured 50 of 48 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
    Yuhuai Wu
    backfill
    confidence 0.6
Enumerated research scope

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

  • cs.LG25 rows
  • cs.AI11 rows
  • cs.CL7 rows
  • math.CO2 rows
  • cs.LO1 rows
  • cs.NE1 rows
  • stat.ML1 rows
  • 20142 rows
  • 20151 rows
  • 20164 rows
  • 20173 rows
  • 20183 rows
  • 20193 rows
  • 20204 rows
  • 20217 rows
  • 202213 rows
  • 20236 rows
  • 20242 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.