Image de couverture de livre

Explorable Theorems: Making Written Theorems Explorable by Grounding Them in Formal Representations

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Kambhamettu, Hita, Crichton, Will, Welleck, Sean, Goldstein, Harrison, Head, Andrew
Format:	Preprint
Publié:	2026
Sujets:	Human-Computer Interaction Artificial Intelligence Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Attribution Gradients: Incrementally Unfolding Citations for Critical Examination of Attributed AI Answers
par: Kambhamettu, Hita, et autres
Publié: (2025)

Explorable Ideas: Externalizing Ideas as Explorable Environments
par: Jung, Euijun, et autres
Publié: (2025)

Traceable Text: Deepening Reading of AI-Generated Summaries with Phrase-Level Provenance Links
par: Kambhamettu, Hita, et autres
Publié: (2024)

LitPivot: Developing Well-Situated Research Ideas Through Dynamic Contextualization and Critique within the Literature Landscape
par: Kambhamettu, Hita, et autres
Publié: (2026)

WatChat: Explaining perplexing programs by debugging mental models
par: Chandra, Kartik, et autres
Publié: (2024)

Evaluating Authoring Tools with the Explorable Authoring Requirements
par: Salmen, Frederic, et autres
Publié: (2024)

Aptly: Making Mobile Apps from Natural Language
par: Patton, Evan W., et autres
Publié: (2024)

Acquiring Grounded Representations of Words with Situated Interactive Instruction
par: Mohan, Shiwali, et autres
Publié: (2025)

SelfIE: Self-Initiated Explorable Instructions Towards Enhanced User Experience
par: Kim, Hyeongcheol, et autres
Publié: (2024)

Connecting the Dots: Surfacing Structure in Documents through AI-Generated Cross-Modal Links
par: Hwang, Alyssa, et autres
Publié: (2026)

Let Them Down Easy! Contextual Effects of LLM Guardrails on User Perceptions and Preferences
par: Zheng, Mingqian, et autres
Publié: (2025)

From State Changes to Creative Decisions: Documenting and Interpreting Traces Across Creative Domains
par: Peng, Xiaohan, et autres
Publié: (2026)

HiLDe: Intentional Code Generation via Human-in-the-Loop Decoding
par: González, Emmanuel Anaya, et autres
Publié: (2025)

ChatScratch: An AI-Augmented System Toward Autonomous Visual Programming Learning for Children Aged 6-12
par: Chen, Liuqing, et autres
Publié: (2024)

ProgramAlly: Creating Custom Visual Access Programs via Multi-Modal End-User Programming
par: Herskovitz, Jaylin, et autres
Publié: (2024)

Prompt Decorators: A Declarative and Composable Syntax for Reasoning, Formatting, and Control in LLMs
par: Heris, Mostapha Kalami
Publié: (2025)

Prompt Orchestration Markup Language
par: Zhang, Yuge, et autres
Publié: (2025)

Flowco: Rethinking Data Analysis in the Age of LLMs
par: Freund, Stephen N., et autres
Publié: (2025)

DiscoverLLM: From Executing Intents to Discovering Them
par: Kim, Tae Soo, et autres
Publié: (2026)

Empowering Children to Create AI-Enabled Augmented Reality Experiences
par: Zhang, Lei, et autres
Publié: (2025)

LVLMs and Humans Ground Differently in Referential Communication
par: Zeng, Peter, et autres
Publié: (2026)

Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools
par: Hao, Yilun, et autres
Publié: (2024)

How to Enable Effective Cooperation Between Humans and NLP Models: A Survey of Principles, Formalizations, and Beyond
par: Huang, Chen, et autres
Publié: (2025)

MAIC-UI: Making Interactive Courseware with Generative UI
par: Tu, Shangqing, et autres
Publié: (2026)

When Are Reactive Notebooks Not Reactive?
par: Zheng, Megan, et autres
Publié: (2025)

Hybrid Decision Making via Conformal VLM-generated Guidance
par: Banerjee, Debodeep, et autres
Publié: (2026)

On Evaluating Explanation Utility for Human-AI Decision Making in NLP
par: Chaleshtori, Fateme Hashemi, et autres
Publié: (2024)

How Performance Pressure Influences AI-Assisted Decision Making
par: Haduong, Nikita, et autres
Publié: (2024)

Using Machine Mental Imagery for Representing Common Ground in Situated Dialogue
par: Mohapatra, Biswesh, et autres
Publié: (2026)

AInsight: Augmenting Expert Decision-Making with On-the-Fly Insights Grounded in Historical Data
par: Abolnejadian, Mohammad, et autres
Publié: (2025)

ACE-TA: An Agentic Teaching Assistant for Grounded Q&A, Quiz Generation, and Code Tutoring
par: Tripathi, Himanshu, et autres
Publié: (2026)

Linguistic Comparison of AI- and Human-Written Responses to Online Mental Health Queries
par: Saha, Koustuv, et autres
Publié: (2025)

Persona-E$^2$: A Human-Grounded Dataset for Personality-Shaped Emotional Responses to Textual Events
par: Yang, Yuqin, et autres
Publié: (2026)

TRACE: A Metrologically-Grounded Engineering Framework for Trustworthy Agentic AI Systems in Operationally Critical Domains
par: Zabolotnii, Serhii
Publié: (2026)

Conversation Routines: A Prompt Engineering Framework for Task-Oriented Dialog Systems
par: Robino, Giorgio
Publié: (2025)

Wink: Recovering from Misbehaviors in Coding Agents
par: Nanda, Rahul, et autres
Publié: (2026)

Don't Vibe Code, Do Skele-Code: Interactive No-Code Notebooks for Subject Matter Experts to Build Lower-Cost Agentic Workflows
par: Gopalakrishnan, Sriram
Publié: (2026)

When Web Apps Heal Themselves: A MAPE-K Based Approach to Fault Tolerance and Adaptive Recovery
par: Aribe Jr, Sales, et autres
Publié: (2026)

From Context to Action: Analysis of the Impact of State Representation and Context on the Generalization of Multi-Turn Web Navigation Agents
par: Tiwary, Nalin, et autres
Publié: (2024)

Overhearing LLM Agents: A Survey, Taxonomy, and Roadmap
par: Zhu, Andrew, et autres
Publié: (2025)