Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV

Get full text

Molecular ISAC via Markov State-Space Modeling: Joint Distance Sensing and Data Detection

Get full text

Impact-Driven Quantum Decomposition for Traffic Zone Partitioning: A Hybrid Gate-Model Framework

Get full text

Heterogeneous Model Fusion for Privacy-Aware Multi-Camera Surveillance via Synthetic Domain Adaptation

Get full text

PubMed-Ophtha: An open resource for training ophthalmology vision-language models on scientific literature

Get full text

OphMAE: Bridging Volumetric and Planar Imaging with a Foundation Model for Adaptive Ophthalmological Diagnosis

Get full text

SCPRM: A Schema-aware Cumulative Process Reward Model for Knowledge Graph Question Answering

Get full text

A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers

Get full text

3D Human Face Reconstruction with 3DMM face model from RGB image

Get full text

Potential Hessian Ascent III: Sampling the Sherrington--Kirkpatrick Model at Beta < 1/2

Get full text

On Solving Problems of Substantially Super-linear Complexity in $N^{o(1)}$ Rounds in the MPC Model

Get full text

Cognitive Twins: Investigating Personalized Thinking Model Building and Its Performance Enhancement with Human-in-the-Loop

Get full text

Geometry-Aware State Space Model: A New Paradigm for Whole-Slide Image Representation

Get full text

When Relations Break: Analyzing Relation Hallucination in Vision-Language Model Under Rotation and Noise

Get full text

Sparse Tokens Suffice: Jailbreaking Audio Language Models via Token-Aware Gradient Optimization

Get full text

Pop Quiz Attack: Black-box Membership Inference Attacks Against Large Language Models

Get full text

BIELIK 7B V0.1: POLISH LANGUAGE MODEL - DEVELOPMENT, INSIGHTS, AND EVALUATION

Get full text

Beam-Aware Radio Map Estimation With Physics-Consistent Parametric Modeling for Unknown Multiple Satellites

Get full text

A Unified Measure-Theoretic View of Diffusion, Score-Based, and Flow Matching Generative Models

Get full text

A Physical Model of Quantum Bit Behavior Based on a Programmable FPGA Integrated Circuit

Get full text