Pith. sign in

Researcher Evidence Record

Shengchao Qin

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

    Towards the Readability of LLM-Generated Codes through Multitask Representation Engineering

    cs.SE provisional current review present

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Shengchao Qin
    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

    Push Your Agent: Measuring and Enforcing Quantitative Goal Persistence in Long-Horizon LLM Agents

    cs.LG provisional current review present

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Shengchao Qin
    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

    ConCovUp: Effective Agent-Based Test Driver Generation for Concurrency Testing

    cs.SE provisional current review present

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    backfill
    Printed name
    Shengchao Qin
    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.
  4. 2026 Pith paper

    LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation

    cs.SE provisional current review present

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    backfill
    Printed name
    Shengchao Qin
    Author position
    8
    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. 2026 Pith paper

    Large Language Models for Multilingual Code Intelligence: A Survey

    cs.SE provisional current review present

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    backfill
    Printed name
    Shengchao Qin
    Author position
    8
    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. 2026 Pith paper

    Ghost in the Agent: Redefining Information Flow Tracking for LLM Agents

    cs.CR provisional current review present

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    backfill
    Printed name
    Shengchao Qin
    Author position
    4
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    • 0 external cited by from pith
    • 7 pith inbound references from cited_work_pith_inbound_counts
  7. 2026 Pith paper

    Automated LTL Specification Generation from Industrial Aerospace Requirements

    cs.SE provisional current review present

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    backfill
    Printed name
    Shengchao Qin
    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.
  8. 2025 Pith paper

    KG-RAG: Enhancing GUI Agent Decision-Making via Knowledge Graph-Driven Retrieval-Augmented Generation

    cs.MA provisional current review present

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Shengchao Qin
    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.
  9. 2025 Pith paper

    Preguss: It Analyzes, It Specifies, It Verifies

    cs.SE provisional current review present

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Shengchao Qin
    Author position
    7
    Identity state
    provisional
    Source confidence
    0.7
    Review coverage
    Measured: a current Pith review exists.
    Citation counts
    • 0 external cited by from arxiv_reference
    • 1 pith inbound references from cited_work_pith_inbound_counts
  10. 2025 Pith paper

    MFH: A Multi-faceted Heuristic Algorithm Selection Approach for Software Verification

    cs.SE provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Shengchao Qin
    Author position
    9
    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. 2025 Pith paper

    From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal 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
    Shengchao Qin
    Author position
    10
    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
  12. 2024 Pith paper

    ICM-Assistant: Instruction-tuning Multimodal Large Language Models for Rule-based Explainable Image Content Moderation

    cs.CV provisional measured, no current review

    paper citation record paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Shengchao Qin
    Author position
    9
    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
  13. 2024 Pith paper

    Parf: Adaptive Parameter Refining for Abstract Interpretation

    cs.LO provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Shengchao Qin
    Author position
    7
    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

    Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification

    cs.SE provisional measured, no current review

    paper citation record paper evidence challenge this paper

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

    S2TD: a Separation Logic Verifier that Supports Reasoning of the Absence and Presence of Bugs

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Shengchao Qin
    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. 2022 Pith paper

    MUC-driven Feature Importance Measurement and Adversarial Analysis for Random Forest

    cs.LG provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Shengchao Qin
    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.
  17. 2021 Pith paper

    Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Shengchao Qin
    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.
  18. 2020 Pith paper

    Bias Field Poses a Threat to DNN-based X-Ray Recognition

    eess.IV provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Shengchao Qin
    Author position
    8
    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. 2020 Pith paper

    Adversarial Rain Attack and Defensive Deraining for DNN Perception

    cs.CV provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Shengchao Qin
    Author position
    7
    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.
  20. 2019 Pith paper

    Automated Verification of CountDownLatch

    cs.PL provisional measured, no current review

    paper paper evidence challenge this paper

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

    Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation

    cs.SE provisional measured, no current review

    paper paper evidence challenge this paper

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

    Toward `verifying' a Water Treatment System

    cs.AI provisional measured, no current review

    paper paper evidence challenge this paper

    Sources and evidence
    Authorship source
    arxiv_oai
    Printed name
    Shengchao Qin
    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.
  23. 2016 Pith paper

    Automatically 'Verifying' Discrete-Time Complex Systems through Learning, Abstraction and Refinement

    cs.SE provisional measured, no current review

    paper paper evidence challenge this paper

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

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 23 of 23 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 9 of 23 bounded rows Coverage count only. No review outcome is projected onto the person.
source=current_verdicts
citations Measured 5 of 23 bounded rows Counts remain itemized by work and source.
source=cited_works
coauthors Measured 50 of 23 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
    Shengchao Qin     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.SE10 rows
  • cs.PL3 rows
  • cs.AI2 rows
  • cs.CV2 rows
  • cs.LG2 rows
  • cs.CR1 rows
  • cs.LO1 rows
  • cs.MA1 rows
  • eess.IV1 rows
  • 20161 rows
  • 20172 rows
  • 20191 rows
  • 20202 rows
  • 20211 rows
  • 20222 rows
  • 20243 rows
  • 20254 rows
  • 20267 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.