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
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.
-
2024 Pith paper
Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
paper citation record paper evidence challenge this paper
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
-
2024 Pith paper
REFACTOR: Learning to Extract Theorems from Proofs
paper citation record paper evidence challenge this paper
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
-
2023 Pith paper
Focused Transformer: Contrastive Training for Context Scaling
paper citation record paper evidence challenge this paper
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
-
2023 Pith paper
Length Generalization in Arithmetic Transformers
paper citation record paper evidence challenge this paper
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
-
2023 Pith paper
Evaluating Language Models for Mathematics through Interactions
paper citation record paper evidence challenge this paper
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
-
2023 Pith paper
Lexinvariant Language Models
paper paper evidence challenge this paper
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.
-
2023 Pith paper
PaLM 2 Technical Report
paper citation record paper evidence challenge this paper
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
-
2023 Pith paper
Magnushammer: A Transformer-Based Approach to Premise Selection
paper citation record paper evidence challenge this paper
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
-
2022 Pith paper
Path Independent Equilibrium Models Can Better Exploit Test-Time Computation
paper citation record paper evidence challenge this paper
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
-
2022 Pith paper
Holistic Evaluation of Language Models
paper citation record paper evidence challenge this paper
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
-
2022 Pith paper
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
paper citation record paper evidence challenge this paper
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
-
2022 Pith paper
Language Model Cascades
paper citation record paper evidence challenge this paper
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
-
2022 Pith paper
Exploring Length Generalization in Large Language Models
paper citation record paper evidence challenge this paper
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
-
2022 Pith paper
Solving Quantitative Reasoning Problems with Language Models
paper citation record paper evidence challenge this paper
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
-
2022 Pith paper
Insights into Pre-training via Simpler Synthetic Tasks
paper citation record paper evidence challenge this paper
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
-
2022 Pith paper
Fast and Precise: Adjusting Planning Horizon with Adaptive Subgoal Search
paper citation record paper evidence challenge this paper
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
-
2022 Pith paper
Autoformalization with Large Language Models
paper citation record paper evidence challenge this paper
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
-
2022 Pith paper
Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers
paper citation record paper evidence challenge this paper
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
-
2022 Pith paper
STaR: Bootstrapping Reasoning With Reasoning
paper citation record paper evidence challenge this paper
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
-
2022 Pith paper
Memorizing Transformers
paper citation record paper evidence challenge this paper
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
-
2022 Pith paper
Block-Recurrent Transformers
paper citation record paper evidence challenge this paper
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
-
2021 Pith paper
Hierarchical Transformers Are More Efficient Language Models
paper citation record paper evidence challenge this paper
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
-
2021 Pith paper
Learning to Give Checkable Answers with Prover-Verifier Games
paper citation record paper evidence challenge this paper
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
-
2021 Pith paper
Subgoal Search For Complex Reasoning Tasks
paper paper evidence challenge this paper
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.
-
2021 Pith paper
On the Opportunities and Risks of Foundation Models
paper citation record paper evidence challenge this paper
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
-
2021 Pith paper
Nonlinear Invariant Risk Minimization: A Causal Approach
paper citation record paper evidence challenge this paper
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
-
2021 Pith paper
Proof Artifact Co-training for Theorem Proving with Language Models
paper citation record paper evidence challenge this paper
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
-
2021 Pith paper
LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning
paper paper evidence challenge this paper
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.
-
2020 Pith paper
The Scattering Compositional Learner: Discovering Objects, Attributes, Relationships in Analogical Reasoning
paper citation record paper evidence challenge this paper
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
-
2020 Pith paper
Learning Branching Heuristics for Propositional Model Counting
paper paper evidence challenge this paper
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.
-
2020 Pith paper
INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
paper citation record paper evidence challenge this paper
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
-
2020 Pith paper
IsarStep: a Benchmark for High-level Mathematical Reasoning
paper citation record paper evidence challenge this paper
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
-
2019 Pith paper
Options as responses: Grounding behavioural hierarchies in multi-agent RL
paper paper evidence challenge this paper
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.
-
2019 Pith paper
Concurrent Meta Reinforcement Learning
paper citation record paper evidence challenge this paper
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
-
2019 Pith paper
ACTRCE: Augmenting Experience via Teacher's Advice For Multi-Goal Reinforcement Learning
paper citation record paper evidence challenge this paper
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
-
2018 Pith paper
Understanding Short-Horizon Bias in Stochastic Meta-Optimization
paper citation record paper evidence challenge this paper
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
-
2018 Pith paper
Some Considerations on Learning to Explore via Meta-Reinforcement Learning
paper citation record paper evidence challenge this paper
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
-
2018 Pith paper
An Empirical Analysis of Proximal Policy Optimization with Kronecker-factored Natural Gradients
paper paper evidence challenge this paper
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.
-
2017 Pith paper
Backpropagation through the Void: Optimizing control variates for black-box gradient estimation
paper citation record paper evidence challenge this paper
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
-
2017 Pith paper
Scalable trust-region method for deep reinforcement learning using Kronecker-factored approximation
paper paper evidence challenge this paper
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.
-
2017 Pith paper
Sticking the Landing: Simple, Lower-Variance Gradient Estimators for Variational Inference
paper citation record paper evidence challenge this paper
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
-
2016 Pith paper
On the Quantitative Analysis of Decoder-Based Generative Models
paper citation record paper evidence challenge this paper
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
-
2016 Pith paper
On Multiplicative Integration with Recurrent Neural Networks
paper paper evidence challenge this paper
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.
-
2016 Pith paper
Path-Normalized Optimization of Recurrent Neural Networks with ReLU Activations
paper paper evidence challenge this paper
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.
-
2016 Pith paper
Architectural Complexity Measures of Recurrent Neural Networks
paper paper evidence challenge this paper
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.
-
2015 Pith paper
STDP as presynaptic activity times rate of change of postsynaptic activity
paper paper evidence challenge this paper
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.
-
2014 Pith paper
Discrete Equidecomposability and Ehrhart Theory of Polygons
paper paper evidence challenge this paper
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.
-
2014 Pith paper
Conditions for Discrete Equidecomposability of Polygons
paper paper evidence challenge this paper
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.
| Lane | State | Observed | Boundary 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
Enumerated research scope
- 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
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.
Self-published account annex
Linked Pith account
Unavailable No public Pith account is linked to this corpus identity.
The account lane is self-published. Linking proves account control only and changes no corpus fact.