A linearized solver estimates rolling-shutter relative pose and motion from 7 affine correspondences in 1.2 ms and reports best-in-benchmark accuracy plus usable translational velocity.
Canonical reference
An Efficient Elastic-Degenerate Text Index? Not Likely
Canonical reference. 89% of citing Pith papers cite this work as background.
56
Pith papers citing it
Background
89% of classified citations
citation-role summary
background 9
citation-polarity summary
roles
background 9representative citing papers
Malicious LLM API routers actively perform payload injection and secret exfiltration, with 9 of 428 tested routers showing malicious behavior and further poisoning risks from leaked credentials.
GD string matching admits a classical Õ(N√m) algorithm, and combinatorial GD/ED indices cannot improve the known m-dependence under the k-clique conjecture.
ExplAIner is a layered first-order logic that expresses major XAI explanation queries over Boolean models with evaluation in the Boolean hierarchy and computation in FP^NP.
Domain-specific macOS features enable an ML detector to reach 98.5% accuracy on 41k samples and 99.5% on 9k fresh samples, beating prior methods by 16-50%.
LLM2Ltac mines symbolic tactics from 11,725 Coq theorems using LLMs and integrates them into CoqHammer, improving proof rates by 23.87% on 6,199 theorems from four large verification projects.
A DSL-based method integrates neural-network verification results into four interactive theorem provers and yields the first infinite-horizon safety proof of a continuous neural-controlled medical device in Rocq.
Manifold k-NN generalizes DP-NNS to k-NN queries on manifold point clouds via a recursive successor-list property, delivering 1-10x speedups and full dynamic support.
A complete, axiom-free Lean 4 formalization of combinatorial curve neighborhoods for A1(1) has been achieved by encoding them as maximal vertices in degree-bounded reachable sets of the infinite dihedral moment graph.
Embedding CUDA Graphs in UCX for multi-path intra-node GPU communication yields up to 2.95x bandwidth improvement over single-path UCX on a four-GPU node for large messages.
GraphQLify automates REST-to-GraphQL migration via static source code analysis, delivering 100% type-safe conversions on 834 APIs and 2-4x faster performance than REST for multi-call workflows.
SoulNote enables multi-session GenAI songwriting for DHH users, producing measurable gains in self-insight, emotion regulation, and self-care attitudes.
Categorical supermaps on any generalised theory with channel-state duality are exactly CJ-supermaps, recovering classical, quantum, and NSWSE-Boxworld supermaps.
Fine-tuning Tesseract on synthetic Maltese line images plus lexicon-gated arbitration of five recognizer streams reduces development-set CER from 0.0234 to 0.01317 (and 0.00700 with label normalization).
RBE-Flow recasts dense cross-modal flow estimation as closed-loop recurrent Bayesian estimation on learned feature manifolds with uncertainty-adaptive updates and achieves SOTA on three registration benchmarks.
ConnectomeBench2 supplies a unified multi-species benchmark of expert proofreading labels and shows a single Vision Transformer achieving human-level performance on split and merge error tasks while providing calibration and distribution-shift diagnostics.
A multi-contrast self-supervised MRI reconstruction framework with end-to-end learned k-space partitioning produces higher-fidelity images than single-contrast self-supervised baselines on two public datasets.
Develops a bi-form framework unifying contrast and pre-contrast functions on torsion-full Lauritzen manifolds and constructs a canonical contrast bi-form on dually curvature-free cases.
EmbedFilter applies a linear filter derived from the LLM unembedding matrix to suppress high-frequency token influences in text embeddings, yielding improved zero-shot performance and inherent dimensionality reduction.
Echo-POSED learns an SO(3)×SO(3) pose representation via self-supervised equivariance to probe motion and invariance to cardiac phase from 2D slices of 3D echocardiography volumes, reporting 8.2° mean angular error in intra-patient guidance simulations.
Authors construct a parameterized algorithm for testing emptiness of limits of structured co-decompositions in FinSet^J for finite J.
Users entangle their lived experiences with AI predictions in menstrual tracking apps, leading to self-fulfilling prophecies, limited critical awareness from UI, and isolation for non-normative users.
A machine-checked Lean 4 formalization of Stokes' theorem on smooth singular cubes with true Fréchet pullback, chain-level extensions, and comparison to prior HOL Light work.
Fusing chart visualizations with raw time series improves or maintains classification accuracy on UCR datasets when the visuals add non-redundant information.
citing papers explorer
-
Rolling Shutter Relative Pose Estimation Made Practical
A linearized solver estimates rolling-shutter relative pose and motion from 7 affine correspondences in 1.2 ms and reports best-in-benchmark accuracy plus usable translational velocity.
-
Your Agent Is Mine: Measuring Malicious Intermediary Attacks on the LLM Supply Chain
Malicious LLM API routers actively perform payload injection and secret exfiltration, with 9 of 428 tested routers showing malicious behavior and further poisoning risks from leaked credentials.
-
Algorithms and Indexing Lower Bounds for Variable String Matching
GD string matching admits a classical Õ(N√m) algorithm, and combinatorial GD/ED indices cannot improve the known m-dependence under the k-clique conjecture.
-
ExplAIner: A Declarative Query Language for Explaining Classification Models
ExplAIner is a layered first-order logic that expresses major XAI explanation queries over Boolean models with evaluation in the Boolean hierarchy and computation in FP^NP.
-
The Role of Domain-Specific Features in Malware Detection: A macOS Case Study
Domain-specific macOS features enable an ML detector to reach 98.5% accuracy on 41k samples and 99.5% on 9k fresh samples, beating prior methods by 16-50%.
-
A Learning Method for Symbolic Systems Using Large Language Models
LLM2Ltac mines symbolic tactics from 11,725 Coq theorems using LLMs and integrates them into CoqHammer, improving proof rates by 23.87% on 6,199 theorems from four large verification projects.
-
Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice
A DSL-based method integrates neural-network verification results into four interactive theorem provers and yields the first infinite-horizon safety proof of a continuous neural-controlled medical device in Rocq.
-
Manifold k-NN: Accelerated k-NN Queries for Manifold Point Clouds
Manifold k-NN generalizes DP-NNS to k-NN queries on manifold point clouds via a recursive successor-list property, delivering 1-10x speedups and full dynamic support.
-
Formalizing $A_1^{(1)}$ Curve Neighborhoods in Lean 4
A complete, axiom-free Lean 4 formalization of combinatorial curve neighborhoods for A1(1) has been achieved by encoding them as maximal vertices in degree-bounded reachable sets of the infinite dihedral moment graph.
-
Accelerating Intra-Node GPU-to-GPU Communication Through Multi-Path Transfers with CUDA Graphs
Embedding CUDA Graphs in UCX for multi-path intra-node GPU communication yields up to 2.95x bandwidth improvement over single-path UCX on a four-GPU node for large messages.
-
GraphQLify: Automated and Type Safety-Preserving GraphQL API Adoption
GraphQLify automates REST-to-GraphQL migration via static source code analysis, delivering 100% type-safe conversions on 834 APIs and 2-4x faster performance than REST for multi-call workflows.
-
From Daily Song to Daily Self: Supporting Reflective Songwriting of Deaf and Hard-of-Hearing Individuals through Generative Music AI
SoulNote enables multi-session GenAI songwriting for DHH users, producing measurable gains in self-insight, emotion regulation, and self-care attitudes.
-
Supermaps on generalised theories
Categorical supermaps on any generalised theory with channel-state duality are exactly CJ-supermaps, recovering classical, quantum, and NSWSE-Boxworld supermaps.
-
LV-ROVER-MLT: Low-Resource Maltese OCR by Synthetic Fine-Tuning and Multi-Stream Arbitration
Fine-tuning Tesseract on synthetic Maltese line images plus lexicon-gated arbitration of five recognizer streams reduces development-set CER from 0.0234 to 0.01317 (and 0.00700 with label normalization).
-
RBE-Flow: Recurrent Bayesian Estimation on Feature Manifolds for Cross-Modal Registration
RBE-Flow recasts dense cross-modal flow estimation as closed-loop recurrent Bayesian estimation on learned feature manifolds with uncertainty-adaptive updates and achieves SOTA on three registration benchmarks.
-
ConnectomeBench2: A Unified Benchmark for Automated Connectomic Proofreading
ConnectomeBench2 supplies a unified multi-species benchmark of expert proofreading labels and shows a single Vision Transformer achieving human-level performance on split and merge error tasks while providing calibration and distribution-shift diagnostics.
-
Optimized Multi-Contrast Self-Supervised MRI Reconstruction using Learned k-space Partitioning
A multi-contrast self-supervised MRI reconstruction framework with end-to-end learned k-space partitioning produces higher-fidelity images than single-contrast self-supervised baselines on two public datasets.
-
Potential functions in information geometry via bi-forms
Develops a bi-form framework unifying contrast and pre-contrast functions on torsion-full Lauritzen manifolds and constructs a canonical contrast bi-form on dually curvature-free cases.
-
Your UnEmbedding Matrix is Secretly a Feature Lens for Text Embeddings
EmbedFilter applies a linear filter derived from the LLM unembedding matrix to suppress high-frequency token influences in text embeddings, yielding improved zero-shot performance and inherent dimensionality reduction.
-
Echo-POSED: Geometric Self-Distillation for Echocardiography Guidance
Echo-POSED learns an SO(3)×SO(3) pose representation via self-supervised equivariance to probe motion and invariance to cardiac phase from 2D slices of 3D echocardiography volumes, reporting 8.2° mean angular error in intra-patient guidance simulations.
-
A Parameterized Algorithm for Testing whether the Limit of a Diagram is Empty
Authors construct a parameterized algorithm for testing emptiness of limits of structured co-decompositions in FinSet^J for finite J.
-
"It became a self-fulfilling prophecy": How Lived Experiences are Entangled with AI Predictions in Menstrual Cycle Tracking Apps
Users entangle their lived experiences with AI predictions in menstrual tracking apps, leading to self-fulfilling prophecies, limited critical awareness from UI, and isolation for non-normative users.
-
Stokes' Theorem for Smooth Singular Cubes in Lean 4: True Pullback, Bridges to mathlib4, and Chain-Level d^2=0
A machine-checked Lean 4 formalization of Stokes' theorem on smooth singular cubes with true Fréchet pullback, chain-level extensions, and comparison to prior HOL Light work.
-
VTBench: A Multimodal Framework for Time-Series Classification with Chart-Based Representations
Fusing chart visualizations with raw time series improves or maintains classification accuracy on UCR datasets when the visuals add non-redundant information.
-
Lost in Decoding? Reproducing and Stress-Testing the Look-Ahead Prior in Generative Retrieval
Reproduction confirms PAG boosts generative retrieval effectiveness, but its look-ahead planning signal collapses under intent-preserving typos and query mismatches, reverting performance to unguided decoding.
-
AI-Driven Analytics of Team-Teaching Talk: Acoustic Patterns across Experience, Cohorts and the Learning Design
Automated acoustic analysis of 36 team-teaching sessions reveals systematic loudness variation differences across teacher experience, student cohorts, and learning task design.
-
Prints in the Magnetic Dust: Robust Similarity Search in Legacy Media Images Using Checksum Count Vectors
Checksum Count Vectors enable robust similarity search to identify duplicate and variant legacy media recordings with high accuracy despite substantial data damage.
-
A Minimal Agent for Automated Theorem Proving
A minimal agentic system achieves competitive performance in automated theorem proving with a simpler design and lower cost than state-of-the-art methods.
-
Zero-Shot Generative De-identification: Inversion-Free Flow for Privacy-Preserving Skin Image Analysis
Zero-shot inversion-free flow method de-identifies skin images in under 20 seconds while preserving pathological features with IoU stability exceeding 0.67 using segment-by-synthesis and CIELAB decoupling.
-
AI and My Values: User Perceptions of LLMs' Ability to Extract, Embody, and Explain Human Values from Casual Conversations
13 participants became convinced AI understands human values after chatbot interactions evaluated with the VAPT toolkit.
-
Data-driven Reduction of Transfer Operators for Particle Clustering Dynamics
A data-driven framework reduces particle-based transfer operators via concentration projection, geometric manifold, and finite-state discretization to reproduce clustering transitions and metastable states from simulation data.
-
Near-resonant nuclear spin detection with megahertz mechanical resonators
The authors predict that measuring increased frequency variance in a megahertz resonator due to fluctuating nuclear spin polarization enables single nuclear spin detection with existing devices.
-
Attribute-Based Authentication in Secure Group Messaging for Distributed Environments and Safer Online Spaces
The authors define Attribute-Authenticated Continuous Group Key Agreement (AA-CGKA), prove security properties of requirement integrity, unforgeability and unlinkability, and report an implementation with performance comparable to certificate-based MLS.
-
Duplicate Bug Report Detection: How Far Are We?
A new bias-aware benchmark for duplicate bug report detection shows simpler techniques outperform recent sophisticated methods on most projects and match industry tools.
-
On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets
Proves that most bounded-modification problems for making transition systems implementable by flip-flop nets are NP-complete.
-
Modal CEGAR-tableaux with RECAR and resolution-based SAT-shortcuts
CEGARBox++ with KSP-based SAT-shortcuts outperforms CEGARBox++ and KSP alone on modal satisfiability, especially large satisfiable problems, claimed as first effective SAT-tableaux-resolution integration.
-
Comparing ML-Specific and General Python Code Smells Across Project Characteristics
ML-specific code smells occur 41-94 times less often than general Python smells in 279 projects, with associations to commit frequency and domain but none for general smells or most other project characteristics.
-
Robo-Blocks: Generative Scaffolding in End-User Design and Programming of Social Robots
Robo-Blocks is an LLM-augmented block-based tool that supplies generative scaffolding via structured narratives; a deployment study with novices surfaced user personas, usage patterns, and design insights for integrating such scaffolding into social-robot programming practice.
-
Atoms of Thought: Universal EEG Representation Learning with Microstates
Microstate tokenizer from clustered EEG signals provides universal representations that outperform traditional time- and frequency-domain features across sleep staging, emotion recognition, and motor imagery tasks.
-
The Forensic Cost of Watermark Removal: From Dedicated Attacks to Image Editing
Watermark removal leaves detectable forensic artifacts, so no current method balances attack success, perceptual quality, and undetectability.
-
A Model-Driven Approach to Database Migration with a Unified Data Model
U-Schema acts as a common pivot representation that reduces the number of direct mappings needed for schema and data migration across heterogeneous database paradigms while preserving structure and query behavior.
-
Explaining Graph Neural Networks for Node Similarity on Graphs
Empirical comparison shows gradient-based explanations for GNN node similarities are actionable, consistent, and retain effects when sparsified, unlike mutual information explanations.
-
Correctness Notions for Petri Nets with Identifiers
Extends Petri nets with identifiers for object- and resource-aware systems and defines generalized correctness criteria with decidability analysis.
-
The Prevalence and Impact of Licenses in Open Software Projects
Large-scale empirical study finds most open source projects unlicensed, permissive licenses rising, and license type changes impacting activity variably by ecosystem like reduced in C and increased in Python.
-
Easy-to-Use Shielding for Reinforcement Learning
tempestpy connects Tempest-based formal shielding to Gymnasium for safe RL exploration, with extensions for stochastic games and MiniGridSafe test environments.
-
Ultra-Reduced-Impact-Encased-Logging (URIEL): propose a new method for selective sustainable logging and post-harvest silvicultural treatment in tropical forest using airborne robotics systems
URIEL proposes an airborne robotics and AI system for low-collateral-damage selective logging and silvicultural treatment in tropical forests, claiming high economic viability from digital simulations.
-
GenAI in Software Engineering: The Role of Technology Acceptance Models
UTAUT is suitable for studying individual barriers to GenAI use in software engineering when combined with Bayesian analysis, with three priorities for future research on construct refinement, operationalization, and statistical methods.
-
Community-Informed AI Models for Police Accountability
Proposes and illustrates a community-informed, multi-perspective approach to developing AI for analyzing LAPD body-worn camera footage of traffic stops.
-
Building Network Digital Twins Part II: Real-Time Adaptive PID for Enhanced State Synchronization
An adaptive PID controller is integrated into a Network Digital Twin to enhance real-time traffic state synchronization, with results demonstrated via an interactive user interface.
-
Influence of Park's Two-Temperature Model Control Temperature on the Flow Properties in Hypersonic Reentry Conditions
Varying weight factors in Park's two-temperature model significantly affects property distributions and heat flux for FIRE II Earth reentry cases but has little impact on Mars Pathfinder flows, with some effect visible in all cases.