EdTech Discovery
Argus

Named after the hundred-eyed watchman of Greek myth, Argus watches the education landscape: spotting new opportunities, pressure-testing the ventures we're building, and tracing every read back to the real-world signals behind it.

Updated Jul 06, 2026 · 4 ideas · 4367 signals
Admin mode. Curation controls visible. Keep this URL (with token) private.

Signals

The evidence library: the raw signals the pipeline is watching across the education ecosystem. Every idea is built from these.

technology Tue, 30 Jun 2026 00:00:00 -0400
arXiv cs.CY

Four Types of LLM Reliance and Their Predictors Among Undergraduate Writers: A Mixed-Methods Study at a Minority-Serving R1 University

arXiv:2606.28749v1 Announce Type: new Abstract: Although most undergraduates now use large language models (LLMs), a form of generative artificial intelligence (GenAI) for academic writing, no validated method distinguishes the qualitatively different ways students rely on them. Existing instruments assess reliance solely by frequency of use, a measure that, as this study shows, inadvertently rewards dependence on AI rather than recognizing students' own intellectual contribution. Conducted at a public minority-serving university and grounded in the AI Literacy Framework, Expectancy-Value Theory, and Biggs's Presage-Process-Product model, the study drew on 382 undergraduates, 14 interviews, and 396 open-ended survey responses. Four distinct reliance types were identified and confirmed: Strategic (34.3%), Instrumental (30.9%), Dialogic (30.4%), and Dependent (4.5%). Students' value and cost beliefs predicted the intensity of their reliance on LLMs, whereas their AI literacy predicted th

Source ↗
technology Tue, 30 Jun 2026 00:00:00 -0400
arXiv cs.CY

Verifying Restrictions on Frontier AI Research

arXiv:2606.28694v1 Announce Type: new Abstract: The premature development of artificial superintelligence poses major risks to humanity, so researchers have proposed international agreements halting such development until it can be done safely. AI progress depends primarily on compute, algorithms, and data; a durable halt would address all three so that advances in one input do not counteract restrictions on another. Improvements to AI algorithms are driven largely through research activities, so this research may need to be restricted during a halt. Given low international trust, signatories will want to verify compliance. This paper analyzes how such restrictions on AI research could be verified, while remaining agnostic about what specific research would be prohibited. It first explores key considerations that affect the verifiability of research restrictions, such as the computational infrastructure necessary for experiments. It then catalogs 28 candidate verification mechanisms. T

Source ↗
technology Tue, 30 Jun 2026 00:00:00 -0400
arXiv cs.CY

Who Plays Which Role When? Communication Role Dynamics for Peer Recognition and Team Performance Prediction

arXiv:2606.28544v1 Announce Type: new Abstract: Team roles offer an interpretable lens on collaboration, yet computational studies of roles often rely on domain-specific personas or data-driven clustering rather than theory-grounded taxonomies. We operationalize a taxonomy of eight communication roles grounded in education literature and annotate a corpus of 6,307 Slack messages from 55 students across 18 teams in a semester-long computer science course project. We evaluate whether LLMs can approximate expert labels, enabling scalable, taxonomy-driven role annotation. Using these role labels, we characterize role dynamics over teams' lifecycles, finding that different roles peak at different moments and that students enact a more diverse set of roles as projects progress. To evaluate the utility of our role constructs, we use them to predict peer recognition, outperforming lexical, conversational, and LLM-prompting baselines. To assess generalizability beyond the educational context, w

Source ↗
technology Tue, 30 Jun 2026 00:00:00 -0400
arXiv cs.CY

From Prompting to Epistemic Proactivity: Temporal Trajectories of Student-AI Interaction in Mathematics Learning

arXiv:2606.28472v1 Announce Type: new Abstract: GenAI is increasingly used by students as learning companions, yet little is known about how they use these tools in open-ended learning settings, where the goal is not to complete a specific task but to improve understanding and making progress. This study examined Grade-9 students' dialogue with a general-purpose LLM during mathematics practice, in which students prepared a curriculum-aligned skill for a later assessment. We investigated whether students' interactions revealed forms of epistemically proactive AI use: trajectories in which they strategically use and regulate AI to advance their understanding, and whether these trajectories predicted immediate AI-free performance on the same skill. A total of 112 students worked with a web-based LLM tutor on a mathematical-modeling task; 97 completed both AI-free pre- and post-tests. Student turns were coded for self-regulated learning functions, help-seeking content, and mathematical-mod

Source ↗
technology Tue, 30 Jun 2026 00:00:00 -0400
arXiv cs.CY

Financing Artificial Intelligence Infrastructure: Mapping AI Infrastructure Investment and Compute Governance Across Africa

arXiv:2606.28404v1 Announce Type: new Abstract: Artificial intelligence depends on large-scale compute resources and their supporting infrastructure. However, AI governance debates treat compute primarily as a technical input rather than as an outcome of investment, ownership, and financial control. This paper examines AI infrastructure investment flows across Africa through a systematic analysis of 46 publicly announced projects totalling USD $12.7 billion between 2019 and 2025. Using a value chain framework, we analyze who invests in AI-relevant infrastructure and where investments concentrate. Our findings reveal a highly concentrated landscape dominated by global data center operators, hyperscale technology firms, and development finance institutions, clustering in South Africa, Kenya, Nigeria, and Egypt. We introduce asymmetrical interdependence to describe a structural condition in which capital and physical infrastructure account for 73% of total funding while control remains co

Source ↗
technology Tue, 30 Jun 2026 00:00:00 -0400
arXiv cs.CY

Agentic Safety is an Epistemic Property, Not a Behavioral One

arXiv:2606.28347v1 Announce Type: new Abstract: Contemporary AI safety spans pre-training interventions, post-training alignment, deployment-time controls, monitoring, and red-teaming. These methods are necessary, but they primarily certify snapshots of system behavior. As AI systems become more capable, dynamic, embodied, and self-improving, this snapshot view becomes incomplete: safety depends not only on whether a system behaves acceptably now, but whether it remains correctable as it learns, adapts, acts, and modifies itself over time. This paper argues that safety should therefore be treated as an epistemic property of the evolving learner, not merely a behavioral property of the current policy. We introduce teachability as the capacity to preserve future corrective leverage under bounded human, institutional, or environmental intervention. We argue that advanced systems can retain visible competence while eroding the representational, algorithmic, or meta-decision conditions need

Source ↗
technology Tue, 30 Jun 2026 00:00:00 -0400
arXiv cs.CY

PySynthea: A Python-Native Framework for Scalable Synthetic Healthcare Data Generation

arXiv:2606.28346v1 Announce Type: new Abstract: Synthetic healthcare data is increasingly important for research, education, and machine learning development where access to real patient data is limited by privacy and governance constraints. While Synthea provides a widely adopted framework for generating realistic longitudinal electronic health record data, its current implementation presents adoption barriers for many researchers and data scientists due to deployment complexity and limited integration with modern Python-based workflows. This paper introduces PySynthea, a Python-native reimplementation of Synthea designed to improve accessibility, extensibility, and interoperability within the scientific Python ecosystem. The framework provides modular synthetic patient generation, configurable healthcare simulation pipelines, and support for standard healthcare data formats while integrating naturally with tools such as pandas and machine learning workflows. By reducing operational c

Source ↗
technology Tue, 30 Jun 2026 00:00:00 -0400
arXiv cs.CY

LLM-Ideoplasticity: Measuring Ideological Plasticity in the Political Behavior of LLMs as a Context-Conditioned Distribution

arXiv:2606.28335v1 Announce Type: new Abstract: We argue, with systematic empirical evidence, that a large language model's political ideology is not a fixed point, but a conditional distribution $\mathbb{P}($position$\mid$context$)$ over a real political space. We evaluate nine current LLMs using a unified measurement framework anchored by VAA-CHES projection models, which map responses onto three validated dimensions (lrgen, lrecon, galtan) across six contextual axes. Our findings reveal high sensitivity to context: persuasive framing and under-represented languages displace coordinates by up to 0.57 and 0.52 units, respectively, while chain-of-thought reasoning often amplifies rather than dampens paraphrase instability. Despite this local plasticity, the model cohort occupies a remarkably narrow Overton envelope overall, occupying roughly one-third the spread of major European parties. Supported by a multi-trait multi-method (MTMM) analysis, we conclude that a single point cannot su

Source ↗
technology Tue, 30 Jun 2026 00:00:00 -0400
arXiv cs.CY

Ground Truths in Suicide Research: The Current State of AI-Based Suicide Detection in Social Media

arXiv:2606.28334v1 Announce Type: new Abstract: Recent advances in artificial intelligence (AI) and social media data have led to growing optimism about the ability to detect suicide risk at scale. However, the empirical foundations of this work remain unclear. This article provides a synthesis of current research on AI-based suicide detection in social media, drawing on a recent umbrella review of 22 systematic reviews covering studies up to 2022, alongside an ongoing literature review extending the analysis to more recent work. Across these sources, we identified 195 relevant studies, which are documented in a detailed supplementary dataset outlining their key characteristics and findings (see Supplementary Information). Analysis of these studies reveals consistent patterns, including rapid growth, concentration on a small number of platforms, reliance on textual and English-language data, and repeated use of similar datasets. Most importantly, the majority of studies rely on indirec

Source ↗
technology Tue, 30 Jun 2026 00:00:00 -0400
arXiv cs.CY

Insidious by Design: Implications of Large Language Model algorithmic bias for the Global South

arXiv:2606.28333v1 Announce Type: new Abstract: \begin{quote} The biases in Large Language Models' (LLMs) outputs remain inadequately theorised, particularly from the perspective of the Global South. This article reports on a small-scale exploratory study in which identical prompts were submitted to four major LLMs (ChatGPT, Claude, Grok, and Copilot), firstly, prompting for stories using names suggestive of specific racial and gender communities, and secondly asking questions about `development'. Drawing on critical AI scholarship and postcolonial theory, we argue that LLM outputs are patterned in ways that reproduce racial hierarchies, gender asymmetries, and Western-centric epistemic frameworks. We argue that these biases are insidious: they operate below the threshold of both obvious error and overt prejudice, and instead are subtly embedded in narrative structure and emotional template. Simply put, women, in LLM narratives have rich interior lives, while men make plans. Black peop

Source ↗
technology Tue, 30 Jun 2026 00:00:00 -0400
arXiv cs.CY

When Medical Safety Alignment Fails: A Benchmark for Evaluating LLMs on High-Risk Medical Queries

arXiv:2606.28332v1 Announce Type: new Abstract: Large language models (LLMs) are increasingly used for medical and health-related questions, yet their safety in high-risk medical scenarios remains poorly understood. We introduce \textsc{MedHarm}\footnote{Code and data will be released upon acceptance. Due to the sensitive nature of high-risk medical queries, data access will be available to qualified researchers upon request.}, a high-risk medical safety benchmark with 1,100 medically grounded queries across 10 safety-critical categories, including toxicology, pharmacology, covert poisoning, anesthesia, and fetal harm. Unlike broad medical QA benchmarks, \textsc{MedHarm} targets realistic clinical, educational, and technical prompts that require refusal, caution, or safe redirection rather than direct helpfulness. We evaluate 15 LLMs spanning general-purpose, medical-purpose, closed-source, and downstream SFT models, together with 4 representative guardrail models. Results reveal a sub

Source ↗
technology Tue, 30 Jun 2026 00:00:00 -0400
arXiv cs.CY

"AI Watermarking": Bridging Policy Discourse and Technical Capabilities

arXiv:2606.28331v1 Announce Type: new Abstract: The widespread deployment of generative artificial intelligence (AI) models has raised serious concerns about the proliferation of AI-generated content. This has led to a surge of interest in, and demand for, reliable tracking and detection mechanisms for content that is AI-generated, such as watermarking, metadata tagging, content tagging, and more. The problem has captured the attention of policymakers as well as the popular media, and a spate of recent bills in the US have sought to regulate the spread of AI content, and enforce or promote methods to track and label it. This work performs a critical analysis of the policy discourse surrounding generative AI content transparency in the US and EU. Through a broad document selection methodology, we first collect a broad corpus of documents containing legislative language and policy-relevant discourse on the topic. We then analyze these through inductive coding, and leverage our coding to

Source ↗
technology Tue, 30 Jun 2026 00:00:00 -0400
arXiv cs.CY

The Digital Afterlife of Empires: Four Language Models Converge on the Same Imperial Cartography of Writing

arXiv:2606.28325v1 Announce Type: new Abstract: Large language models process the world's writing systems with radical inequality. We constructed the Digital Script Representation Index (DSRI), a seven-axis measure of digital support, and applied it to the 300 writing systems of the Global Script Database (Fukui, 2026). Only 29 scripts (9.7%) are fully supported by contemporary digital infrastructure; among 158 living scripts, 60 (38.0%) lack complete support. Tokenizer efficiency varies by a factor of 31.7 across 45 scripts measured with parallel text. A serial mediation model -- imperial intervention to speaker population to web corpus to tokenizer efficiency -- is consistent with full mediation, with the direct effect of empire indistinguishable from zero (beta = -0.22, p = 0.39) and structural equation model fit indices indistinguishable from saturation at n = 45; the bias-corrected bootstrap CI grazes zero, and we treat the mediation as suggestive rather than confirmatory. Across

Source ↗
technology Tue, 28 Apr 2026 16:40:11 +0000
Tech & Learning

Navigating the AI Frontier in Education: New Webinar Series

EdTech to Watch: Series May-June 2026

Source ↗
technology Tue, 28 Apr 2026 14:27:00 +0000
Tech & Learning

DEADLINE EXTENDED! Tech & Learning Launches Best of Show at ISTELive 2026

This annual award celebrates the products, and businesses behind each one, who are transforming education in schools around the world.

Source ↗
technology Tue, 28 Apr 2026 09:00:00 +0000
Tech & Learning

Syracuse University Gave AI Access To 30,000+ Students and Faculty. Here’s What They Learned

When used in the right way AI seems to help test scores and save teacher and staff time, say Syracuse University's Jeff Rubin and Andrew Joncas

Source ↗
technology Tue, 26 May 2026 09:00:00 +0000
Tech & Learning

How A Cooperative Drone Program Is Taking Community Partnerships Higher

Innovative Leader Award - The Higher Vision Drone Program has taken flight thanks to community partnerships and Jennifer Nickerson

Source ↗
technology Tue, 24 Jun 2025 10:27:39 +0000
HN: edtech

I think EdTech is broken (and what I learned as a struggling student)

Article URL: https://www.study-graph.com/ Comments URL: https://news.ycombinator.com/item?id=44364635 Points: 1 # Comments: 1

Source ↗
technology Tue, 24 Feb 2026 12:20:22 +0000
HN: edtech

Ask HN: Are AI "Chatbot Wrappers" ruining EdTech? I'm testing a proactive UX

Hey everyone, I’ve been doing customer discovery with CS students learning Data Structures and Algorithms. Right now, every AI tutor in the market is just a reactive chatbox (like ChatGPT next to a code editor). The problem is, when a student is completely stuck on a logic problem (like Dynamic Programming), they don't even know what to prompt the AI. They just stare at the screen. I am validating a new UX: A Proactive AI Mentor without a chatbox. Instead of the user prompting the AI, the AI sits in the background and watches the code editor. It only intervenes via GitHub-style inline comments when a specific event triggers (e.g., they haven't typed in 60 seconds, or they write an O(n^2) loop when it should be O(n)). Basically, it feels like a Senior Dev looking over your shoulder, rather than a search engine waiting to be asked. As developers and founders, do you think this "event-driven/proactive" UX is the future for highly technical learning, or am I overcomplicating it? Would love

Source ↗
technology Tue, 23 Jun 2026 14:03:52 -0400
EdTech Mag (K-12)

Change Management in Education: A Guide to Navigating Technology Transitions

When K–12 school districts implement a new technology, they typically invest significant time planning the technical deployment and far less time preparing the people who will ultimately determine the success of the change. “Most technology implementations do not fail because of the technology itself. They struggle because organizations tend to focus heavily on the technical rollout and underestimate the human side of change,” says Julie Whitten, CEO of Julie Whitten Consulting, a change leadership advisory firm. “I have seen districts successfully launch systems from a technical perspective…

Source ↗
technology Tue, 23 Jun 2026 09:00:00 +0000
Tech & Learning

How Schools Can Stay Safe

Conversations with Kevin Hogan: Clever’s Head of Education Strategy Jeff Carlson on the state of school district security

Source ↗
technology Tue, 23 Jun 2026 07:22:13 +0000
HN: education

Advice on Gifted Education

Article URL: https://terrytao.wordpress.com/career-advice/advice-on-gifted-education/ Comments URL: https://news.ycombinator.com/item?id=48641477 Points: 3 # Comments: 2

Source ↗
technology Tue, 22 May 2018 11:59:55 +0000
HN: medical education

Augmented Reality Services – In Real Estate, Medical, Education

Article URL: http://immersivegaze.com/augmented-reality-app-development-company.html Comments URL: https://news.ycombinator.com/item?id=17125265 Points: 1 # Comments: 0

Source ↗
technology Tue, 21 Mar 2023 08:43:11 +0000
HN: medical education

WebPath: The Internet Pathology Laboratory for Medical Education

Article URL: https://webpath.med.utah.edu/webpath.html Comments URL: https://news.ycombinator.com/item?id=35243841 Points: 1 # Comments: 0

Source ↗
technology Tue, 21 Apr 2026 09:00:00 +0000
Tech & Learning

Beyond the Classroom: How Esports Spaces Double as Learning Hubs

Conversations with Kevin Hogan: Extron's Jason Bond explains how districts can start small with esports AV infrastructure and build from there.

Source ↗
technology Tue, 20 Aug 2024 14:21:41 +0000
HN: medical education

Revolutionizing Medical Education with AI: Our Journey from Prototype to Market

Article URL: https://www.axonlearning.ai/ Comments URL: https://news.ycombinator.com/item?id=41300329 Points: 2 # Comments: 1

Source ↗
technology Tue, 19 May 2026 09:00:00 +0000
Tech & Learning

Navigating The Move Away From 1-2-1 Devices For Sake of Social Skills

A school district in Alabama is one of many to limit device access during school time. The results have been positive, says Dennis R. Willingham, though students still need device access.

Source ↗
technology Tue, 16 Jun 2026 09:00:00 +0000
Tech & Learning

Bad AI Policy Is Worse Than No Policy at All. How to Build One That Works

Conversations with Kevin Hogan: SchoolAI policy analyst Sasha Luks-Morgan breaks down the three pillars every district AI policy needs

Source ↗
technology Tue, 13 Oct 2020 09:13:08 +0000
HN: medical education

MammoGANesis: Semantic Editing and Synthesis of Mammograms for Medical Education

Article URL: https://cyrilzakka.github.io/radiology/2020/10/13/mammogenesis.html Comments URL: https://news.ycombinator.com/item?id=24763701 Points: 5 # Comments: 0

Source ↗
technology Tue, 12 May 2026 09:00:00 +0000
Tech & Learning

The Southern Surge Proves Science of Reading Works. Why Aren't More Districts Listening?

Conversations with Kevin Hogan: Karl Rectanus brings his edtech evidence background to the nation's original science of reading organization — and is betting on outcomes-based contracting to close the literacy gap.

Source ↗
technology Tue, 10 Mar 2015 18:56:31 +0000
HN: medical education

Emerging Market Medical Education Goes Digital

Article URL: http://techonomy.com/2015/03/emerging-market-medical-education-goes-digital/ Comments URL: https://news.ycombinator.com/item?id=9179807 Points: 1 # Comments: 0

Source ↗
technology Tue, 10 Jan 2023 18:15:38 +0000
HN: nursing education

Open AI platforms in nursing education: Tools for academic progress or abuse?

Article URL: https://pubmed.ncbi.nlm.nih.gov/36549229/ Comments URL: https://news.ycombinator.com/item?id=34329041 Points: 1 # Comments: 2

Source ↗
technology Tue, 10 Dec 2024 23:04:33 +0000
HN: medical education

The Association of American Medical Colleges Is Corrupting Medical Education [pdf]

Article URL: https://donoharmmedicine.org/wp-content/uploads/2024/12/Activism-over-Meritocracy-How-the-AAMC-is-Corrupting-Medical-Education-with-Endless-DEI-Ideology.pdf Comments URL: https://news.ycombinator.com/item?id=42382696 Points: 2 # Comments: 0

Source ↗
technology Tue, 09 Jun 2026 14:23:10 -0400
EdTech Mag (Higher)

College of Charleston AI Challenge Encourages Innovation

Artificial intelligence is rapidly reshaping how businesses operate, how students learn and how communities solve complex problems. From predictive analytics to generative design and autonomous systems, AI is becoming foundational to innovation across industries. What was once a competitive advantage is quickly becoming a baseline expectation. Recognizing this shift, the Center for Entrepreneurship at the College of Charleston created the AI Innovation Challenge to empower students to leverage AI in tackling real-world societal issues. This momentum is especially powerful among younger…

Source ↗
technology Tue, 09 Jun 2026 12:41:46 +0000
HN: education

Lego Education SPIKE portfolio retiring

Article URL: https://education.lego.com/en-us/spike-update-2026/ Comments URL: https://news.ycombinator.com/item?id=48460356 Points: 2 # Comments: 0

Source ↗
technology Tue, 09 Jun 2026 09:00:00 +0000
Tech & Learning

How KidWind Turns Clean Energy Into A Classroom Without Walls

Conversations with Kevin Hogan: KidWind founder Michael Arquin and veteran coach Morgan Berkgren on why competing with wind turbines and solar homes may be education's best model for real-world learning.

Source ↗
technology Tue, 07 Jul 2026 17:17:48 -0400
EdTech Mag (K-12)

ISTE Live 26: The Youngest Tech Team You’ll Ever Meet

Lynsy Curry gave some students in her class a mission — if they chose to accept it. The elementary media specialist at Timbers Elementary School taught the fifth graders technology tips a couple of years ago when she was their teacher. When they began showing other teachers what they learned in her class, she asked them if they would be interested in forming a technology team and being her student helpers. Challenge accepted. The tech team was born in the Humble Independent School District in Humble, Texas, nearly three years ago. During her session “From Helpers to Leaders: Building a…

Source ↗
technology Tue, 07 Jul 2026 17:17:27 -0400
EdTech Mag (K-12)

ISTE Live 26: Doing More With Less: Kirsten Baesler on Sustainable K–12 Technology

In the post-ESSER era, many schools and school districts are learning how to iterate their resource allocation to do more with less and build durable plans that center planning around the mission instead of the money. During her session “Driving Innovation When Budgets Are Tight” at ISTELive 26, Kirsten Baesler, assistant secretary in the Office of Elementary and Secondary Education for the U.S. Department of Education, discussed the importance of having a clear framework for what sustainability looks like alongside panelists Chris Lehmann, CEO and principal of the Science Leadership Academy…

Source ↗
technology Tue, 07 Jul 2026 09:00:00 +0000
Tech & Learning

Finding The Students Schools Miss: How Data, Relationships, and AI Are Unlocking Hidden Potential

Conversations with Kevin Hogan: Equal Opportunity Schools CEO AJ Gutierrez on why more than half of students ready for advanced coursework go unidentified and how combining survey data, predictive analytics, and human judgment can change that.

Source ↗
technology Tue, 07 Jul 2026 00:00:00 -0400
arXiv cs.CL

HNSW with Accuracy Guarantees Using Graph Spanners

arXiv:2607.02338v2 Announce Type: replace-cross Abstract: Hierarchical Navigable Small World (HNSW) graphs serve as the industry standard due to their logarithmic complexity and strong empirical performance. However, HNSW relies on greedy graph traversal, a heuristic that provides no theoretical guarantees of correctness. In this paper, we propose a novel "Certify-then-Rectify" framework that bridges the gap between the speed of heuristic search and the rigor of exact retrieval. Rather than discarding HNSW, our approach first employs a distribution-free statistical certifier to dynamically evaluate the quality of a standard HNSW search with minimal overhead. If certification indicates that the retrieved neighbors are of low quality, the framework safely escalates to a rigorous exact recovery algorithm. To make this exact recovery computationally feasible, we reinterpret the HNSW graph as a geometric spanner and utilize Extreme Value Theory to stochastically estimate its maximum empiric

Source ↗
technology Tue, 07 Jul 2026 00:00:00 -0400
arXiv cs.CL

The Unverifiability of Artificial General Intelligence (AGI) Alignment, Static and Dynamic: From Trakhtenbrot's Wall to the Safety-Generality Tension

arXiv:2606.28639v2 Announce Type: replace-cross Abstract: We establish the mathematical limits of AGI safety in two forms: verifying a fixed system, and verifying that a certified safety property persists once the system self-modifies. In the static case, no algorithm can certify a highly expressive AGI's safe behaviour infallibly, completely and tractably, whether over unbounded input domains (blocked by Rice's and Godel's theorems) or over all finite hardware configurations (blocked by Trakhtenbrot's theorem, which splits into a PSPACE-hardness barrier and a co-RE-completeness barrier), forcing a Soundness-Completeness-Tractability Trilemma as a structural, not statistical, necessity. In the dynamic case, we formalise self-modification as a computable transition operator and prove that no algorithm can determine, from a system's current certified safety, whether safety survives its next self-modification step: a result that reduces to Rice's Theorem one level up, making the static an

Source ↗
technology Tue, 07 Jul 2026 00:00:00 -0400
arXiv cs.CL

Quickest Detection of Hallucination Onset: Delay Bounds and Learned CUSUM Statistics

arXiv:2606.12476v3 Announce Type: replace-cross Abstract: Token-level hallucination detectors are evaluated as classifiers, by AUC over all tokens, yet a streaming monitor is judged by its reaction time: the number of tokens that pass between the onset of a hallucination and the alarm. We formulate hallucination onset detection as a quickest change detection problem. A first-order Markov model of the latent faithful/hallucinated state, validated on RAGTruth, places the task inside classical change-point theory and yields Lorden's lower bound on detection delay: about 1.3 tokens at a false-alarm rate of 0.01. We then show that a causal recurrent labeler acts as a CUSUM with a learned increment. Among the onsets it catches it detects in 11-13 tokens, against 31 for a linear per-token baseline, though at this false-alarm budget every detector catches under a third of onsets and the recall-honest delay is 56-66 tokens: low-false-alarm onset detection is hard. A controlled decomposition att

Source ↗
technology Tue, 07 Jul 2026 00:00:00 -0400
arXiv cs.CL

Identifiability Without Gaussianity: Symbolic World Models and Near-Infinite Temporal Consistency

arXiv:2606.12471v2 Announce Type: replace-cross Abstract: Klindt, LeCun, and Balestriero (arXiv:2605.26379) proved that Joint-Embedding Predictive Architectures (JEPAs) achieve linear identifiability, the linear recovery of the world's true latent variables, if and only if the world's latent dynamics follow a Gaussian, stationary process. This Gaussian boundary implies a fundamental limit on temporal consistency: for any non-Gaussian physical system, the representation error of a statistical World Model grows monotonically with time. We prove that this limit is an artifact of the statistical alignment mechanism, not a property of World Models in general. We introduce the Physics-Grounded Symbolic Architecture (PGSA) and prove three results: (1) a PGSA achieves exact linear identifiability for all physical regimes, regardless of the latent distribution; (2) the per-step error of a PGSA is bounded by numerical precision alone; and (3) as a direct consequence, a PGSA maintains temporal co

Source ↗
technology Tue, 07 Jul 2026 00:00:00 -0400
arXiv cs.CL

PBSD: Privileged Bayesian Self-Distillation for Long-Horizon Credit Assignment

arXiv:2606.09348v2 Announce Type: replace-cross Abstract: Long-horizon agentic tasks pose a fundamental credit assignment challenge for outcome-base reinforcement learning: trajectory-level rewards verify final correctness but provide limited guidance on which intermediate reasoning steps or tool interactions contribute to the outcome. The difficulty is especially pronounced in multi-turn search agents, where successful trajectories may contain misleading actions and failed trajectories may contain valuable evidence-gathering steps. We propose PBSD (Privileged Bayesian Self-Distillation), a Bayes-calibrated self-distillation method for fine-grained credit assignment under sparse final rewards. PBSD measures trajectory quality through the posterior-to-prior probability ratio of the verified answer and applies Bayes' rule to convert this hard-to-estimate answer-side ratio into a tractable likelihood ratio between a standard student model and a privileged answer-conditioned teacher model.

Source ↗
technology Tue, 07 Jul 2026 00:00:00 -0400
arXiv cs.CL

Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery

arXiv:2606.08728v2 Announce Type: replace-cross Abstract: Mathematical reasoning has long served as a stringent test of machine intelligence; over the past decade, it has moved from a niche problem within NLP to one of the most consequential AI frontiers. This survey provides a unified account of the field's evolution, from early rule-based math word problem (MWP) solvers and template-driven geometry systems, through neural expression generation and LLM prompting, to contemporary reasoning models, multi-agent systems, neuro-symbolic theorem provers, and verified discovery workflows. We organize the landscape along four axes: (i) informal reasoning over text and diagrams, spanning MWP solving, multimodal geometry, and VLMs; (ii) formal reasoning in proof assistants, including autoformalization, tactic prediction, compiler-guided repair, and proof search; (iii) mathematical discovery, where systems propose constructions, improve bounds, or assist attacks on open problems; and (iv) the in

Source ↗
technology Tue, 07 Jul 2026 00:00:00 -0400
arXiv cs.CL

Cultural Binding Heads in Language Models

arXiv:2605.28543v2 Announce Type: replace-cross Abstract: LLMs often default to equal treatment across cultural groups, even though context warrants differentiation: this is a lack of difference awareness. Using mechanistic interpretability and a factorial design on the N4 cultural appropriation benchmark from Wang et al. (2025), we identify 2-3 mid-layer attention heads per model that contribute causally to cultural binding across eight models (four architectures, base and instruct). Cultural binding is the process of associating cultural items with the appropriate identity. Knockout of the identity-to-item edges on these heads lowers the binding strength by 9-23%. The identified heads transfer from instruct to base models, suggesting that cultural binding is created at pre-training. An $\alpha$-scaling shows a graded dose-response and moderate amplification steering at generation ($\alpha = 2-3$) increases cultural differentiation accuracy by 1-3 pp while leaving neutral reasoning mo

Source ↗
technology Tue, 07 Jul 2026 00:00:00 -0400
arXiv cs.CL

MUSE-Autoskill: Self-Evolving Agents via Skill Creation, Memory, Management, and Evaluation

arXiv:2605.27366v2 Announce Type: replace-cross Abstract: Large language model (LLM) agents rely on reusable skills to solve complex tasks, but existing skill creation approaches often treat skills as isolated, static artifacts, limiting reusability, reliability, and long-term improvement. We propose MUSE-Autoskill Agent (Memory-Utilizing Skill Evolution), a skill-centric agent framework that creates, reuses, and refines skills under a unified lifecycle: creation, memory, management, evaluation, and refinement. MUSE creates skills on demand, stores them across tasks, retrieves them through a skill catalog, and accumulates per-skill experience for later reuse and adaptation. Across the main reported settings on SkillsBench and SkillLearnBench, MUSE-Autoskill outperforms Hermes, Codex, and Claude Code. On SkillsBench, its self-created skills surpass human-authored skills on the successfully covered subset (85.24% vs. 81.17%), showing that lifecycle-managed skills can distill agent experi

Source ↗
technology Tue, 07 Jul 2026 00:00:00 -0400
arXiv cs.CL

Agentic Retrieval-Augmented Generation for Financial Document Question Answering

arXiv:2605.05409v2 Announce Type: replace-cross Abstract: Financial document question answering (QA) demands complex multi-step numerical reasoning over heterogeneous evidence--structured tables, textual narratives, and footnotes--scattered across corporate filings. Existing retrieval-augmented generation (RAG) approaches adopt a single-pass retrieve-then-generate paradigm that struggles with the compositional reasoning chains prevalent in financial analysis. We propose FinAgent-RAG, an agentic RAG framework that orchestrates iterative retrieval-reasoning loops with self-verification, specifically engineered for the precision requirements of financial numerical reasoning. The framework integrates three domain-specific innovations: (1) a Contrastive Financial Retriever trained with hard negative mining to distinguish semantically similar but numerically distinct financial passages, (2) a Program-of-Thought reasoning module that generates executable Python code for precise arithmetic rat

Source ↗
technology Tue, 07 Jul 2026 00:00:00 -0400
arXiv cs.CL

VIBE: Voice-Induced open-ended Bias Evaluation for Large Audio-Language Models via Real-World Speech

arXiv:2604.17248v2 Announce Type: replace-cross Abstract: Large Audio-Language Models (LALMs) are increasingly integrated into daily applications, yet their generative biases remain underexplored. Existing speech fairness benchmarks rely on synthetic speech and Multiple-Choice Questions (MCQs), both offering a fragmented view of fairness. We propose VIBE, a framework that evaluates generative bias through open-ended tasks such as personalized recommendations, using human-recorded speech. Unlike MCQs, our method allows stereotypical associations to manifest organically without predefined options, making it easily extensible to new tasks. Evaluating 12 state-of-the-art LALMs reveals systematic biases in realistic scenarios. Both gender and accent cues trigger statistically significant distributional shifts, and bias magnitude is strongly task-dependent.

Source ↗
technology Tue, 07 Jul 2026 00:00:00 -0400
arXiv cs.CL

Chronos: The AI Co-Historian

arXiv:2604.03553v2 Announce Type: replace-cross Abstract: AI is increasingly supporting, accelerating, and automating scientific discovery across subjects. Yet, the adoption of AI in historical research remains limited due to the lack of specialised solutions for historians. To change this, we introduce Chronos, an AI Co-Historian designed to support historians. It allows researchers to create and customize research workflows through natural-language interaction and share these as Chronos-Extensions with others. Chronos specifically addresses the need of historians for a tool that is specialised, non-technical, highly customizable, and facilitates extensive task evaluation. As a first extension, we introduce Chronos-Extract, which enables researchers to automate the targeted extraction of information from image scans of historical sources. We benchmark Chronos-Extract on three historical source corpora and find that it achieves high task-accuracy across primary sources spanning three c

Source ↗
Showing 901–950 of 2297 signals
← Prev Page 19 of 46 Next →