Imagen de Portada

KnowTeX: Visualizing Mathematical Dependencies

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Uskuplu, Elif, Moss, Lawrence S., de Paiva, Valeria
Formato:	Preprint
Publicado:	2025
Materias:	Human-Computer Interaction Information Retrieval Programming Languages 68N15 D.2.2
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A Study of Digital Appliances Accessibility for People with Visual Disabilities
por: An, Hyunjin, et al.
Publicado: (2024)

Slide Deck Q&A Quality Assurance App: A Multi-Stage Pipeline for Pedagogical Question Generation
por: Salsman, Jim
Publicado: (2026)

Log2Plan: An Adaptive GUI Automation Framework Integrated with Task Mining Approach
por: Lee, Seoyoung, et al.
Publicado: (2025)

Creating Group Rules with AI: Human-AI Collaboration in WhatsApp Moderation
por: Nayak, Gauri, et al.
Publicado: (2026)

Toward a Corpus Study of the Dynamic Gradual Type
por: Nsofor, Dibri, et al.
Publicado: (2025)

PDFMathTranslate: Scientific Document Translation Preserving Layouts
por: Ouyang, Rongxin, et al.
Publicado: (2025)

The calculation of air filtration efficiency through the visual basic programming language
por: Kouropoulos, Giorgos
Publicado: (2014)

Author Once, Publish Everywhere: Portable Metadata Authoring with the CEDAR Embeddable Editor
por: O'Connor, Martin J., et al.
Publicado: (2025)

CrossTL: A Universal Programming Language Translator with Unified Intermediate Representation
por: Niketan, Nripesh, et al.
Publicado: (2025)

The Semantics of Metapropramming in Prolog
por: Warren, David S.
Publicado: (2024)

Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
por: Zhong, Zhiyao, et al.
Publicado: (2025)

High-Performance Generation of Constrained Inputs
por: Crump, Addison, et al.
Publicado: (2025)

Data-Driven Animation Controller: A Prioritized Visual System for Decoupled Animation Logic in Godot Game Engine
por: TorabNezhad, Abtin, et al.
Publicado: (2026)

Quest Complete: the Holy Grail of Gradual Security
por: Chen, Tianyu, et al.
Publicado: (2023)

Trustworthy Clinical Decision Support Using Meta-Predicates and Domain-Specific Languages
por: Bouzinier, Michael, et al.
Publicado: (2026)

CAWAL: A novel unified analytics framework for enterprise web applications and multi-server environments
por: Canay, Özkan, et al.
Publicado: (2025)

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)
por: Erhard, Julian, et al.
Publicado: (2024)

Understanding and Improving Information Preservation in Prompt Compression for LLMs
por: Łajewska, Weronika, et al.
Publicado: (2025)

CAG: Chunked Augmented Generation for Google Chrome's Built-in Gemini Nano
por: Surulimuthu, Vivek Vellaiyappan, et al.
Publicado: (2024)

Towards Conversational AI for Human-Machine Collaborative MLOps
por: Fatouros, George, et al.
Publicado: (2025)

Idempotent Slices with Applications to Code-Size Reduction
por: de Azevedo, Rafael Alvarenga, et al.
Publicado: (2026)

Multi-Language Benchmark Generation via L-Systems
por: da Silva, Vinícius Francisco, et al.
Publicado: (2025)

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
por: Lauer, Alexander, et al.
Publicado: (2026)

Reinforcement Learning-Based Framework for the Intelligent Adaptation of User Interfaces
por: Gaspar-Figueiredo, Daniel, et al.
Publicado: (2024)

GenPara: Enhancing the 3D Design Editing Process by Inferring Users' Regions of Interest with Text-Conditional Shape Parameters
por: Choi, Jiin, et al.
Publicado: (2025)

PLUGH: A Benchmark for Spatial Understanding and Reasoning in Large Language Models
por: Tikhonov, Alexey
Publicado: (2024)

Emulation-Completeness of Programming Languages
por: Morse, Gregory, et al.
Publicado: (2026)

AI for software engineering: from probable to provable
por: Meyer, Bertrand
Publicado: (2025)

Memento: Towards Proactive Visualization of Everyday Memories with Personal Wearable AR Assistant
por: Kim, Yoonsang, et al.
Publicado: (2026)

The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages
por: Bagnara, Roberto, et al.
Publicado: (2016)

From Block Diagrams to Bloch Spheres: Graphical Quantum Circuit Simulation in LabVIEW
por: Vefadar, Murtaza
Publicado: (2026)

ChiBench: a Benchmark Suite for Testing Electronic Design Automation Tools
por: Sumitani, Rafael, et al.
Publicado: (2024)

Knowledge Distillation for Low-Resource Open-source Text-to-SQL Model
por: Qiu, Tianhao, et al.
Publicado: (2026)

Observations on LLMs for Telecom Domain: Capabilities and Limitations
por: Soman, Sumit, et al.
Publicado: (2023)

Optimal matching for sharing and linearity analysis
por: Amato, Gianluca, et al.
Publicado: (2024)

Know Your Users! Estimating User Domain Knowledge in Conversational Recommenders
por: Kostric, Ivica, et al.
Publicado: (2025)

Litrepl: Literate Paper Processor Promoting Transparency More Than Reproducibility
por: Mironov, Sergei
Publicado: (2025)

Boundaries in Hypernetwork Theory: Structure and Scope
por: Charlesworth, Richard D.
Publicado: (2025)

Combining Mechanical and Agentic Specification Inference for Move
por: Grieskamp, Wolfgang, et al.
Publicado: (2026)

Understanding User Preferences for Interaction Styles in Conversational Recommender Systems: The Predictive Role of System Qualities, User Experience, and Traits
por: Mahmud, Raj, et al.
Publicado: (2025)