The normalized orbit of a bounded normal operator can be a frame, providing a counterexample to Conjecture 3.
Canonical reference
A Dynamic Recursive Unified Internet Design (DRUID),
Canonical reference. 80% of citing Pith papers cite this work as background.
1018
Pith papers citing it
1
external citations · Crossref
Background
80% of classified citations
citation-role summary
background 251
method 24
baseline 6
dataset 4
extension 2
citation-polarity summary
authors
co-cited works
representative citing papers
EDEN releases the largest freely available Italian clinical notes corpus (4M notes, 6k annotated) and proposes CRF-filling as a structured extraction benchmark with zero-shot baselines from Gemma models.
Machine learning methods discover a new noncrossing-partition statistic interpreting q,t-Narayana polynomials and yield a combinatorial proof of their symmetry.
SLayerGen generates crystals invariant to any space or layer group via autoregressive lattice and Wyckoff sampling plus equivariant diffusion, achieving gains over bulk models on diperiodic materials after correcting a prior loss inconsistency for hexagonal groups.
Every proper minor-closed graph class admits an optimal (1+o(1)) log n bit adjacency labeling scheme.
A directed weighted two-graph model separates feasibility from movement in solution discovery and yields a detailed complexity classification for path and shortest-path discovery.
The method reformulates ALE mesh motion as independent multi-patch spline parameterizations per time step, using barrier functions, tangential-slip reparameterization, and constant-preserving quasi-interpolation to enable large-rotation FSI simulations.
Superconductivity in high-pressure MnB4 is induced by altermagnetic spin fluctuations, yielding extended-s pairing symmetry.
A new qubit-efficient HUBO encoding for graph partitioning problems like minimum coloring uses logarithmic bits and a lexicographic penalty to cut resources while providing provable optimality conditions.
A survey of 172 open educational datasets from 204 papers across LAK, EDM, and AIED conferences reveals trends, 143 previously uncatalogued datasets, field gaps, and an 8-item PRACTICE checklist for better data publication.
A microlocal lift of Navier-Stokes dynamics on manifolds yields an if-and-only-if geometric criterion for solution blow-up in terms of deformation integrability, directional entropy, and lifted energy.
A 9U CubeSat detector can identify a thermonuclear weapon on a satellite from 4 km away by observing spallation neutrons induced by GeV protons in roughly one week.
O(n log n) algorithm and matching Omega(n log n) lower bound for partitioning a simple polygon's boundary into the minimum number of contiguous visible segments.
Introduces a method to design structure-specific relational inductive biases for a base transformer architecture, enabling end-to-end transcription of documents with intrinsic structures, demonstrated on sheet music, shape drawings, and mechanical engineering drawings.
Derives leading asymptotics for collision-time tails of integrable inhomogeneous Markov chains via steepest-descent analysis and Karlin-McGregor expansion, confirming a prediction for push-block particle systems.
Canopies generalize vines and vineyards by tracking simplex pairs in filtered chain complexes instead of persistence diagram points, with proofs of homeomorphism and applications to multiplicity and monodromy.
A cP_n P_m scheme for DGSEM-LGL achieves m+1 convergence order via projected high-order components and a compact reconstruction operator that corrects the highest Legendre mode.
Hierarchical granular metamaterials achieve simultaneous increases in impact energy absorption per unit mass and reductions in transmitted peak force at low densities through three-level design combining granular dissipation with architected structures.
RoverDevKit is an open physics-based evaluator for lunar micro-rover conceptual design that runs in 30 ms and uses NSGA-II to identify mission-dependent optimal wheel configurations and binding trades.
Symbolic SOS rules generate symbolic semantics that are proven correct and complete with respect to concrete semantics using only the language's algebraic signature.
A YOLO keypoint model trained on 37k+ public images plus 1k neonatal frames achieves SOTA NME and low failure rates for 68-point neonatal landmark detection in clinical conditions.
Approximating twin-width is FPT parameterized by treedepth via oriented twin-width, and exact twin-width computation is FPT parameterized by vertex integrity.
Hybrid sharp-diffuse interface finite element method for accurate thermo-hydrodynamic modeling of melt pools with rapid evaporation.
Subsequence matching with gap-constraints is solvable in O(|D|(|u| + |C|)) time under left-convexity of the languages, optimal under SETH.
citing papers explorer
-
FllumaOne: A Code-Native Multimodal CAD Dataset with Executable Programs and Kernel-Validated Feature Histories
FllumaOne releases 100,000 kernel-validated CAD models as executable Python programs with aligned multimodal data including feature histories and geometry exports.
-
Battery-Sim-Agent: Leveraging LLM-Agent for Inverse Battery Parameter Estimation
Battery-Sim-Agent reframes inverse battery parameter estimation as an LLM reasoning task in closed loop with a simulator and outperforms Bayesian optimization baselines on diverse benchmarks.
-
EO-Gym: A Multimodal, Interactive Environment for Earth Observation Agents
EO-Gym supplies an executable multimodal environment and 9k-trajectory benchmark that turns Earth Observation into a tool-using, multi-step reasoning task, revealing that current VLMs struggle on temporal and cross-sensor workflows while fine-tuning lifts Pass@3 from 0.49 to 0.74.
-
Math Education Digital Shadows for facilitating learning with LLMs: Math performance, anxiety and confidence in simulated students and AIs
MEDS is a dataset of 28,000 LLM personas performing high-school math tasks alongside psychometric tests and cognitive networks that capture math anxiety, self-efficacy, and confidence to support safer AI tutors.
-
Reasonable Motion: A General ASP Foundation for Environment Constrained Movement Trajectory Computation
An ASP-based hybrid method enumerates geometrically admissible motion behaviors as stable models for environment-constrained trajectory computation in dynamic domains such as autonomous driving.
-
ThermoLLM: Thermodynamics-Aware HVAC Control with Spatial-Semantic Knowledge Graph
ThermoLLM uses a physics-informed spatial-semantic knowledge graph with LLMs for HVAC control in a five-zone EnergyPlus simulation and reports the best energy-comfort trade-off plus lowest PMV violations among tested methods.
-
Closed-loop Auto Research for Molecular Property Prediction: Discovering and Certifying Generalizable Improvements
Closed-loop LM-agent auto research finds some transferable gains on molecular property prediction benchmarks via external data but shows non-transfer for model and feature edits selected on validation.
-
QMFOL: Benchmarking Large Language Model Reasoning via Quantifiable Monadic First-Order Logic Test Case Generation
QMFOL generates monadic first-order logic tasks with controllable complexity via pattern-based structures and round-trip prover verification, then evaluates six LRMs showing performance drops as logical depth and width increase.
-
Beyond Probabilistic Similarity: Structural, Temporal, and Causal Limitations of Retrieval-Augmented Generation in the Legal Domain
The paper identifies three pathologies of probabilistic RAG in legal retrieval (mereological blindness, diachronic blindness, causal opacity) and derives four deterministic architectural commitments to address the hierarchical, temporal, and institutional structure of legal knowledge.
-
OSMGraphCLIP: Learning Global Location Representations from OpenStreetMap Graphs
OSMGraphCLIP learns global location embeddings from OSM graphs via multi-scale graph encoding and contrastive alignment that match or exceed satellite baselines on many socioeconomic, health, and environmental tasks.
-
LLM-Driven Co-Evolutionary Automated Heuristic Design for Bi-Component Coupled Combinatorial Optimization
CoEvo-AHD is an LLM-driven dual-population co-evolutionary method for automated heuristic design in bi-component coupled combinatorial optimization that achieves competitive results on TTP and TPP.
-
Verifiable Benchmarking of Long-Horizon Spatial Biology
Introduces SpatialBench-Long benchmark with 24 evaluations on spatial biology datasets from PDAC, glioblastoma, lung adenocarcinoma and optic nerve systems, reporting top model performance at 8/72 runs (11.1%).
-
DiagramRAG: A Lightweight Framework to Retrieve Scientific Diagram for Figure Generation
DiagramRAG is a retrieval-augmented framework that represents diagrams as knowledge graphs, synthesizes sketch variants, trains an embedding model for structure-aware retrieval, and uses retrieved references to guide sketch-based scientific diagram generation.
-
From Clever Hans to Scientific Discovery: Interpreting EEG Foundational Transformers with LRP
LRP on EEG transformers reveals Clever Hans artifacts in motor imagery tasks and a recurring central electrode cluster as a candidate sensorimotor signature of arousal.
-
When AI reviews science: Can we trust the referee?
AI peer review systems are vulnerable to prompt injections, prestige biases, assertion strength effects, and contextual poisoning, as demonstrated by a new attack taxonomy and causal experiments on real conference submissions.
-
Fast and Effective Redistricting Optimization via Composite-Move Tabu Search
Composite-move Tabu search expands neighborhoods in redistricting optimization by moving minimal connected sets of units identified via graph articulation points, yielding better solutions and efficiency than standard Tabu search.
-
Policy-Invisible Violations in LLM-Based Agents
LLM agents commit policy-invisible violations when policy facts are hidden from their context; a graph-simulation enforcer reaches 93% accuracy vs 68.8% for content-only baselines on a new 600-trace benchmark.
-
Agentivism: a learning theory for the age of artificial intelligence
The authors introduce Agentivism as a learning theory for human-AI interaction that explains how durable capability develops through selective delegation, epistemic monitoring, reconstructive internalization, and transfer under reduced support.
-
PREFAB: PREFerence-based Affective Modeling for Low-Budget Self-Annotation
PREFAB applies preference learning grounded in the peak-end rule to let users annotate only key affective change segments while interpolating the rest, reducing workload and improving confidence in a 25-participant study.
-
Representation learning to advance multi-institutional studies with electronic health record data from US and France
A graph-based framework learns a shared semantic space for EHR data harmonization by integrating site-specific summaries, biomedical knowledge graphs, and LLM semantics, evaluated across seven institutions in two languages.
-
Logic-Constrained Shortest Paths for Flight Planning
A branch-and-bound algorithm with custom node selection, branching rules, and conflict definitions solves the logic-constrained shortest path problem for flight planning with traffic flow restrictions, showing order-of-magnitude speedups on a public global dataset with 20000 real constraints.
-
When Agents Meet Electric Bus Fleet Operations: Pricing Behavior, Trade-offs, and Policy Implications in an Aggregator Framework
An agentic aggregator framework couples optimization-based electric bus scheduling with agents for disturbance detection and tariff adaptation, evaluated in a depot case study that shows feasible adaptive coordination but a profit-oriented trade-off that can extract value from the PTO.
-
REVEAL++: Differentiable Phenotypic Grouping for Vision-Language Retinal Modeling of Alzheimer's Disease Risk
REVEAL++ replaces discrete phenotypic groups with differentiable soft multi-positive weighting derived from intra-modality embeddings in contrastive learning, outperforming prior discrete and baseline methods on UK Biobank incident AD prediction.
-
Personalization Meets Safety:Mechanisms,Risks,and Mitigations in Personalized LLMs
A survey that maps safety risks in personalized LLMs, introduces a unified taxonomy, and highlights three structural inadequacies in existing research on user-invariant safety, isolated techniques, and short-term evaluations.
-
Reconstructing and forecasting disease trajectories of patients with Alzheimer's disease using routine data in resource-constrained settings
GNOVA reconstructs and forecasts CDR-SB and MMSE scores with MAEs of 1.35 and 2.28 on 1727 ADNI patients over 10 years using only routine visit data, enabling interpolation, extrapolation, and uncertainty estimates.
-
Self-Revising Discovery Systems for Science: A Categorical Framework for Agentic Artificial Intelligence
A category-theoretic model frames scientific discovery as verified regime transitions via left Kan extensions that preserve and compare artifacts across schema changes in agentic AI.
-
BatteryMFormer: Multi-level Learning for Battery Degradation Trajectory Forecasting
BatteryMFormer is a multi-level Transformer that adds an aging-condition-aware decoder, meta degradation pattern memory, and dual-view encoder to forecast battery state-of-health trajectories from early operational data and outperforms baselines on four domains.
-
KAPPS: A knowledge-based CPPS Architecture for the Circular Factory
KAPPS is a knowledge-based CPPS architecture that uses an ontology-grounded knowledge graph as the unifying data backbone and authoritative write-time state for handling uncertainty in circular manufacturing, demonstrated via anomaly detection and constraint enforcement use cases.
-
Explainable Wastewater Digital Twins: Adaptive Context-Conditioned Structured Simulators with Self-Falsifying Decision Support
CCSS-IX is a context-conditioned structured simulator for wastewater digital twins that uses adaptive expert mixing and self-falsifying conformal decision rules to reduce unsafe actions while maintaining low prediction error on real plant and benchmark data.
-
Heterogeneous Scientific Foundation Model Collaboration
Eywa enables language-based agentic AI systems to collaborate with specialized scientific foundation models for improved performance on structured data tasks.
-
InVitroVision: a Multi-Modal AI Model for Automated Description of Embryo Development using Natural Language
InVitroVision, a fine-tuned PaliGemma-2 model, generates natural language descriptions of embryo development and outperforms ChatGPT 5.2 and base models on a public time-lapse dataset.
-
Safe reinforcement learning with online filtering for fatigue-predictive human-robot task planning and allocation in production
PF-CD3Q uses online particle filtering to estimate fatigue parameters and constrains a deep Q-learning agent to solve fatigue-aware human-robot task planning as a CMDP.
-
Explaining Neural Networks in Preference Learning: a Post-hoc Inductive Logic Programming Approach
ILASP approximates neural networks for recipe preference learning as both global and local models, using weak constraints and PCA to maintain fidelity and interpretability.
-
Expectation and Acoustic Neural Network Representations Enhance Music Identification from Brain Activity
Separating acoustic and expectation ANN representations as teacher targets improves EEG music identification beyond baselines and seed ensembles.
-
MoralityGym: A Benchmark for Evaluating Hierarchical Moral Alignment in Sequential Decision-Making Agents
MoralityGym is a new benchmark using 98 ethical dilemmas in sequential environments to evaluate hierarchical moral alignment in AI agents via Morality Chains and a Morality Metric.
-
Bridging Dual Knowledge Graphs for Multi-Hop Question Answering in Construction Safety
BifrostRAG combines dual knowledge graphs with hybrid retrieval to improve multi-hop question answering on construction safety regulations, reporting 87.3% F1 on a custom dataset.
-
Hierarchical Reasoning Model
HRM is a recurrent architecture with high-level planning and low-level execution modules that reaches near-perfect accuracy on complex Sudoku, maze navigation, and ARC benchmarks using 27M parameters and 1000 samples without pre-training or CoT supervision.
-
Uncertainty-Aware Longitudinal Forecasting of Alzheimer's Disease Progression Using Deep Learning
A Temporal Fusion Transformer with CORAL ordinal layer and autoregressive Mixture Density Network generates multi-horizon probabilistic trajectories and decomposed uncertainty estimates for Alzheimer's progression on ADNI data.
-
Analysing drivers and interdependencies in European electricity markets using XAI
DNNs plus SHAP/SSHAP applied to 39 European bidding zones identify solar and gas as key price drivers and simulate a single-price EU market.
-
Sim2Schedule: A Simulator-Guided LLM Framework for Autonomous Open-Pit Mine Scheduling
Simulator-constrained LLM recovers 94-99% of MILP optimal NPV for mine scheduling while scaling linearly.
-
Large AI Models in Dental Healthcare: From General-Purpose Systems to Domain-Specific Foundation Models
A PRISMA-ScR scoping review of 97 studies classifies AI models in dentistry into language, vision, and domain-specific types and concludes integrated pipelines outperform single models while noting data and benchmark gaps.
-
A Game Theoretic Free Energy Analysis of Higher Order Synergy in Attention Heads of Large Language Models
Attention heads exhibit negative higher-order synergy (negative triple dividends), allowing pruning of redundant heads that cuts FLOPs by ~18% with only small perplexity increase.
-
In Data or Invisible: Toward a Better Digital Representation of Low-Resource Languages with Knowledge Graphs
A research plan to analyze language distribution in LOD knowledge graphs and explore cross-lingual transfer plus analogical reasoning to improve coverage for low-resource languages.
-
Heterogeneous Graph Neural Networks with Post-hoc Explanations for Multi-modal and Explainable Land Use Inference
Heterogeneous graph neural networks with post-hoc explanations improve accuracy on six land-use indicators from mobility data and provide feature attribution and counterfactual insights aligned with commuting patterns.
-
FundaPod: A Multi-Persona Agent Pod Platform with Knowledge Graph Memory for AI-Assisted Fundamental Investment Research
FundaPod presents a multi-persona AI agent architecture with knowledge-graph memory to support human-adjudicated fundamental investment research through independent agent work and verifiable evidence links.
-
AI-Enabled Serious Games: Integrating Intelligence and Adaptivity in Training Systems
The chapter synthesizes the history of adaptive learning systems and examines how AI can provide instructional intelligence and real-time adaptivity in serious games while highlighting challenges such as explainability and limited long-term outcome data.
-
Content-Based Smart E-Mail Dispatcher Using Large Language Models
An LLM-based agent system analyzes email text via prompts to dispatch messages to appropriate student WhatsApp groups without using labeled datasets.
-
Self-Explainability in Self-Adaptive and Self-Organising Systems: Status and Research Directions
A systematic literature review defines self-explainability, proposes a taxonomy and levels framework, and reports that most approaches are conceptual with no standard evaluation method.