Direction, evidence grade, and study type are AI-generated labels (gpt-5-mini), not human-verified. Syntheses are LLM-written. "Tensions" are machine-detected candidates, not confirmed contradictions. A research-acceleration tool, not peer review.
How this is built →
2Distinct papers
24Unique collaborators
2/2Semantic Scholar citation coverage
Publication span: 2026. Corpus fetch span: 2026.
Identity provenance
Provider IDs
- Semantic Scholar:
2290576964
ORCID evidence
No valid ORCID is stored.
Observed aliases (1)
- Ion Stoica (semantic scholar, provider refresh)
Topics and outcomes in this view
Assessment themes
- Productivity: 2 papers
- Human Ai Collab: 1 paper
- Innovation: 1 paper
- Labor Markets: 1 paper
Claim outcomes
- Output Quality: 2 papers
- Organizational Efficiency: 2 papers
- Task Completion Time: 2 papers
- Adoption Rate: 1 paper
- Innovation Output: 1 paper
- Other: 1 paper
- Research Productivity: 1 paper
- Task Allocation: 1 paper
Papers in the Semantic Scholar view
Latest stored Semantic Scholar author observations only. Citation counts below are from the same provider and are not combined with other services.
Scroll the table horizontally to see every column.
| Paper | Author evidence | Date | Provider citations |
|---|---|---|---|
| An LLM-driven synthesis system shrinks months of expert formal-verification work to hours: IDS fully implements and verifies seven distributed key-value-store specs in ~6.8 hours at $106 each, outperforming prior coding agents and producing implementations up to three times faster than published verified systems.arxiv | Ion Stoica provider id |
2026-05-22 | 0 |
| A general-purpose LLM-driven optimizer outperforms specialized tools across six domains—tripling ARC-AGI accuracy (32.5% to 89.5%), cutting cloud scheduling costs by ~40%, and generating CUDA kernels that match or beat PyTorch in 87% of cases; multi-task search and actionable side information materially accelerate and improve outcomes.arxiv | Ion Stoica provider id |
2026-05-19 | 2 |
Citation observation summary
Semantic Scholar supplied counts for 2 of 2 papers in this view; 0 are missing. The observed paper counts sum to 2 cumulative citations. This is a coverage summary, not an author score or h-index.