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
Reducibility among combinatorial problems
Canonical reference. 89% of citing Pith papers cite this work as background.
54
Pith papers citing it
Background
89% of classified citations
citation-role summary
background 9
citation-polarity summary
roles
background 9representative citing papers
Vehicle enables compositional verification of neural controllers in discrete and continuous cyber-physical systems across Rocq, Isabelle/HOL, Agda, and Imandra, including the first infinite time-horizon safety proof for a continuous medical device in a general-purpose ITP.
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.
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.
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.
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.
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.
Automated acoustic analysis of 36 team-teaching sessions reveals systematic loudness variation differences across teacher experience, student cohorts, and learning task design.
Checksum Count Vectors enable robust similarity search to identify duplicate and variant legacy media recordings with high accuracy despite substantial data damage.
A minimal agentic system achieves competitive performance in automated theorem proving with a simpler design and lower cost than state-of-the-art methods.
citing papers explorer
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
Population-Aware Physics-Informed Neural Particle Flow for Bayesian Update
PA-PINPF adds Deep Sets population encoders (state or feature) to PINPF for better Bayesian posterior particle transport on range-measurement and TDOA tasks.
-
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.
-
New Kids: An Architecture and Performance Investigation of Second-Generation Serverless Platforms
Second-generation serverless platforms using lightweight isolates and edge deployment achieve roughly 10 ms warm latency and negligible cold starts, according to architecture analysis of seven platforms and microbenchmarks totaling over 38 million function calls.
-
Reflections on the design, applications and implementations of the normative specification language eFLINT
eFLINT is a normative specification language combining declarative and procedural elements to support automated compliance reasoning before, during, and after software execution.
-
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.
-
LV-ROVER-MLT: Low-Resource Maltese OCR by Multi-Stream Voting
Synthetic-data-trained Tesseract ensemble with ROVER voting and post-processing cuts Maltese OCR CER from 0.0234 to 0.00700 on a competition dev set.
-
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.
-
Towards the Development of Detection of Learned Helplessness in Mathematics: Design and Data Collection Challenges from a Developing Country Perspective
A descriptive report details how outdated devices, unreliable internet, short sessions, and administrative delays reduced usable data collection from 410 to 118 students for a planned learned helplessness detection model in linear equations tutoring.
-
Test Case Generation for Simulink Models: An Experience from the E-Bike Domain
An empirical evaluation found that HECATE generated failure-revealing test cases for 83% of 36 experiments on e-bike Simulink controllers, averaging 1 hour 17 minutes per run, with developer confirmation of the failures.
-
Open Problems in a Logic of Gossips
This paper compiles and discusses several open problems in the modal logic for gossip protocols that use epistemic formulas.