arXiv:2608. 07364v1 Announce Type: new Abstract: Contribution: This paper presents a six-phase AI-assisted instructional design architecture based on the Curriculum as Code paradigm, integrating Generative AI with LaTeX and Python to automate the creation of reproducible, visually consistent, and technically precise materials for STEM education.
arXiv:2607. 14582v1 Announce Type: new Abstract: Existing LLM-based theorem provers have achieved impressive results on formal mathematics benchmarks, yet they remain confined to acting as autonomous agents that prove a stated proposition.
arXiv:2606. 26614v1 Announce Type: cross Abstract: Large language model (LLM) agents enable natural language interaction for scientific visualization (SciVis).
arXiv:2606. 04273v1 Announce Type: new Abstract: For centuries, human mathematicians have written proofs to substantiate their mathematical arguments; yet, the ability to automatically verify the validity of proofs has long been a challenge.
arXiv:2509. 13570v2 Announce Type: replace Abstract: With the rapid rise of generative AI in higher education, understanding how students use AI is increasingly important.
MathVis is a new benchmark that tests large language models (LLMs) on their ability to generate and reason with mathematical figures. It contains 512 tasks, each with a mathematical statement, a reference diagram, executable TikZ or SVG code, a gold intermediate representation, atomic rubrics, and error codes. Initial results show that GPT‑6‑Astra, Claude Fable 5, and Gemini 3.1 Pro Preview achieve pass@1 scores of 31.25 %, 26.56 %, and 22.85 % respectively, yet the models tend to produce outputs dominated by formal languages and graphics programs rather than clear, diagram‑mediated reasoning, often resulting in visually confusing solutions for humans.
TopoPilot is an agentic framework designed to automate complex scientific visualization workflows, particularly in topological data analysis and visualization. It uses a two‑agent architecture—a user‑prompt orchestrator and a verifier—to translate natural language into atomic backend actions and ensure semantic consistency before execution. The system incorporates deterministic guardrails and a taxonomy of failure modes, achieving over 95% success in 1,000 simulated multi‑turn conversations and outperforming baseline models and other code generation tools in accuracy, completion time, and token usage.
arXiv:2606. 09239v1 Announce Type: new Abstract: While visual programming of data analysis workflows has become an important vehicle for the democratization of data science, such systems remain largely confined to standalone applications and offer limited support for transitioning their visual analytics solutions into interactive web environments.
arXiv:2607. 09839v1 Announce Type: new Abstract: Mathematical diagrams play a crucial role in K 12 education, both as problem components and as scaffolding for student comprehension.
The paper introduces ATWL, a declarative language that formalizes visual analytics workflows by specifying typed artifacts and transforms with defined analytical intents and actors. A library of 54 workflows, curated from published papers with LLM assistance, demonstrates patterns such as human-machine labor division and refinement cycles. Experiments show that using ATWL and the library improves LLM-designed workflows, though branching remains a limitation requiring syntax extension.
arXiv:2608. 16318v1 Announce Type: cross Abstract: Recent advances in Generative Artificial Intelligence (GenAI) have substantially improved the ability of large language models (LLMs) to generate and explain source code.
arXiv:2606. 31311v1 Announce Type: cross Abstract: Testing a new visual-analytics idea usually takes months: one needs to find a realistic data set, clean it, and implement an interactive prototype.