Pith. sign in

Researcher Evidence Record

Hongzhou Lin

This bounded record lists 19 Pith paper rows and 0 imported work rows attributed to this corpus identity. The enumerated, non-disputed paper rows include cs.LG, math.OC, cs.AI 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 19 attributed paper rows in the Pith corpus, itemized below Imported works 0 imported works beyond the paper ledger Current reviews 5 of 19 papers carrying a current Pith review; presence, not outcome Sourced citations 6 of 19 works with a source-named citation count Coauthors 50 distinct coauthors across shared paper rows
Enumerated paper scope: 5 fields (cs.LG, math.OC, cs.AI, +2 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

    Is One Layer Enough? Training A Single Transformer Layer Can Match Full-Parameter RL Training

    cs.LG provisional current review present

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Hongzhou Lin
    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.
  2. 2026 Pith paper

    REVES: REvision and VErification--Augmented Training for Test-Time Scaling

    cs.LG provisional current review present

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Hongzhou Lin
    Author position
    5
    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

    Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement

    cs.AI provisional current review present

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Hongzhou Lin
    Author position
    12
    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

    Awakening the Sleeping Agent: Lean-Specific Agentic Data Reactivates General Tool Use in Goedel Prover

    cs.AI provisional current review present

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    backfill
    Printed name
    Hongzhou Lin
    Author position
    2
    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.
  5. 2025 Pith paper

    Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction

    cs.LG provisional current review present

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Hongzhou Lin
    Author position
    16
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    • 0 external cited by from pith
    • 40 pith inbound references from cited_work_pith_inbound_counts
  6. 2025 Pith paper

    The Amazon Nova Family of Models: Technical Report and Model Card

    cs.AI provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Hongzhou Lin
    Author position
    252
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: no current Pith review exists.
    Citation counts
    • 2 external cited by from pith
    • 2 pith inbound references from cited_work_pith_inbound_counts
  7. 2025 Pith paper

    Task Generalization With AutoRegressive Compositional Structure: Can Learning From $D$ Tasks Generalize to $D^{T}$ Tasks?

    cs.LG provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Hongzhou Lin
    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
  8. 2025 Pith paper

    Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving

    cs.LG provisional measured, no current review

    paper citation record paper evidence challenge this paper

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

    From Sparse Dependence to Sparse Attention: Unveiling How Chain-of-Thought Enhances Transformer Sample Efficiency

    cs.LG provisional measured, no current review

    paper citation record paper evidence challenge this paper

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

    UNDIAL: Self-Distillation with Adjusted Logits for Robust Unlearning in Large Language Models

    cs.CL provisional measured, no current review

    paper paper evidence challenge this paper

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

    Deep hybrid model with satellite imagery: how to combine demand modeling and computer vision for behavior analysis?

    cs.LG provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Hongzhou Lin
    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.
  12. 2020 Pith paper

    IDEAL: Inexact DEcentralized Accelerated Augmented Lagrangian Method

    math.OC provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Hongzhou Lin
    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.
  13. 2020 Pith paper

    Beyond Worst-Case Analysis in Stochastic Approximation: Moment Estimation Improves Instance Complexity

    math.OC provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Hongzhou Lin
    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.
  14. 2020 Pith paper

    Complexity of Finding Stationary Points of Nonsmooth Nonconvex Functions

    math.OC provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Hongzhou Lin
    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
  15. 2020 Pith paper

    On the Complexity of Minimizing Convex Finite Sums Without Using the Indices of the Individual Functions

    cs.LG provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Hongzhou Lin
    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.
  16. 2018 Pith paper

    ResNet with one-neuron hidden layers is a Universal Approximator

    cs.LG provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Hongzhou Lin
    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.
  17. 2017 Pith paper

    Catalyst Acceleration for First-order Convex Optimization: from Theory to Practice

    stat.ML provisional measured, no current review

    paper paper evidence challenge this paper

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

    Catalyst Acceleration for Gradient-Based Non-Convex Optimization

    stat.ML provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Hongzhou Lin
    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.
  19. 2015 Pith paper

    A Universal Catalyst for First-Order Optimization

    math.OC provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Hongzhou Lin
    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 19 of 19 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 5 of 19 bounded rows Coverage count only. No review outcome is projected onto the person.
source=current_verdicts
citations Measured 6 of 19 bounded rows Counts remain itemized by work and source.
source=cited_works
coauthors Measured 50 of 19 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
    Hongzhou Lin     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.LG9 rows
  • math.OC4 rows
  • cs.AI3 rows
  • stat.ML2 rows
  • cs.CL1 rows
  • 20151 rows
  • 20172 rows
  • 20181 rows
  • 20204 rows
  • 20231 rows
  • 20242 rows
  • 20254 rows
  • 20264 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.