Get started
Author

June Kim

Observed names: June kim, Kim, June
ORCID: 0009-0005-3153-9396
Observed ORCID: 0009-0005-3153-9396
OpenAlex ID: A5139012795
Who Authored the Spec? Evidence for the Line-drawing Question Thaler Left Open
2026 · June kim · SSRN Electronic Journal · 1
PDF
An AI-Assisted Workflow For Supporting Graduate Researchers With Data Discovery
2026 · Kim, June · Zenodo (CERN European Organization for Nuclear Research)
A frame-validity audit of Terminal-Bench 2.1: passing verdicts survive destruction, with receipts
2026 · Kim, June · Zenodo (CERN European Organization for Nuclear Research)
Assurance at the Boundary: The Level Below AAL-1
2026 · Kim, June · Zenodo (CERN European Organization for Nuclear Research)
How to Audit a Benchmark: Eleven Audit Passes' Worth of Sins, Ordered by How Cheaply They're Caught
2026 · Kim, June · Zenodo (CERN European Organization for Nuclear Research)
The Power Diagram Auction: A Formally Verified VCG Mechanism for LLM Advertising
2026 · Kim, June · Zenodo (CERN European Organization for Nuclear Research)
LessWrong Voice Gate: a defensive evaluation of community-membership detection in prose
2026 · Kim, June · Zenodo (CERN European Organization for Nuclear Research)
What Cannot Be False Cannot Be True
2026 · Kim, June · PhilPapers (PhilPapers Foundation)
PDF
The Hypothesis Graph: A Verifiable Semantic Memory for Coding Agents
2026 · Kim, June · Zenodo (CERN European Organization for Nuclear Research)
Experiment-Informed Techno-Economic Assessment of Adsorbents for an Open-Air Brayton Cycle Integrated Direct Air Capture System
2026 · Seunghyeon Joo, Taejun Song, et al. · SSRN Electronic Journal
PDF
Verifiable Knowledge
2023 · Kim, June · Zenodo (CERN European Organization for Nuclear Research)
Works count: 11
Citation count: 1
H-index: 1
I10-index:
Year
Topic
Type