Researcher Evidence Record
Siyuan He
This bounded record lists 11 Pith paper rows and 0 imported work rows attributed to this corpus identity. The enumerated, non-disputed paper rows include cs.PL, eess.IV, cs.AR work dated 2020 to 2026. 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.
-
2026 Pith paper
Let Functions Speak: Lightweight Parametric Polymorphism via Domain and Range Types
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Siyuan He
- 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.
-
2025 Pith paper
Typestate via Revocable Capabilities
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Siyuan He
- Author position
- 3
- 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.
-
2025 Pith paper
LP-Spec: Leveraging LPDDR PIM for Efficient LLM Mobile Speculative Inference with Architecture-Dataflow Co-Optimization
paper citation record paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Siyuan He
- Author position
- 1
- Identity state
- provisional
- Source confidence
- 0.7
- Review coverage
- Measured: a current Pith review exists.
- Citation counts
-
- 2 pith inbound references from cited_work_pith_inbound_counts
-
2025 Pith paper
Complete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version)
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Siyuan He
- 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.
-
2024 Pith paper
Quantifying Educational Competition: A Game-Theoretic Model with Policy Implications
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Siyuan He
- 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.
-
2024 Pith paper
XMiner: Efficient Directed Subgraph Matching with Pattern Reduction
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Siyuan He
- 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.
-
2024 Pith paper
Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Siyuan He
- 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.
-
2023 Pith paper
Adaptive Low Rank Adaptation of Segment Anything to Salient Object Detection
paper citation record paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Siyuan He
- 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
-
2022 Pith paper
A Trustworthy Framework for Medical Image Analysis with Deep Learning
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Siyuan He
- 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.
-
2021 Pith paper
Performance or Trust? Why Not Both. Deep AUC Maximization with Self-Supervised Learning for COVID-19 Chest X-ray Classifications
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Siyuan He
- 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
Simulation of Skin Stretching around the Forehead Wrinkles in Rhytidectomy
paper paper evidence challenge this paper
Sources and evidence
- Authorship source
- arxiv_oai
- Printed name
- Siyuan He
- 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.
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 | 11 of 11 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 | 3 of 11 bounded rows | Coverage count only. No review outcome is projected onto the person. source=current_verdicts |
| citations | Measured | 2 of 11 bounded rows | Counts remain itemized by work and source. source=cited_works |
| coauthors | Measured | 25 of 11 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
Siyuan He
Enumerated research scope
- cs.PL4 rows
- eess.IV2 rows
- cs.AR1 rows
- cs.CV1 rows
- cs.DB1 rows
- cs.LG1 rows
- econ.TH1 rows
- 20201 rows
- 20211 rows
- 20221 rows
- 20231 rows
- 20243 rows
- 20253 rows
- 20261 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.