Plainbook makes data-science notebooks natural-language-first by preserving cell descriptions, generating code via AI, enforcing linear execution via a checkpointing kernel, and adding value-centered cell and global tests.
Title resolution pending
3 Pith papers cite this work, alongside 3 external citations. Polarity classification is still indexing.
3
Pith papers citing it
3
external citations · external index
representative citing papers
Agent-directed tree search improves LLM performance on Lean formal verification tasks, with context-based orchestration solving more intermediate specs at lower token cost than baseline agents.
Interviews reveal a four-stage vibe coding workflow that accelerates prototyping while introducing tensions between quick efficiency and reflective design intention, plus asymmetries in trust and ownership.
citing papers explorer
-
Plainbook: Data Science, in Plain Language
Plainbook makes data-science notebooks natural-language-first by preserving cell descriptions, generating code via AI, enforcing linear execution via a checkpointing kernel, and adding value-centered cell and global tests.
-
Automating Formal Verification with Agent-Guided Tree Search
Agent-directed tree search improves LLM performance on Lean formal verification tasks, with context-based orchestration solving more intermediate specs at lower token cost than baseline agents.
-
Vibe Coding in Product Teams: Reconfiguring AI-Assisted Workflows, Prototyping, and Collaboration
Interviews reveal a four-stage vibe coding workflow that accelerates prototyping while introducing tensions between quick efficiency and reflective design intention, plus asymmetries in trust and ownership.