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

Discrete-Event Simulation Framework for Composite Warfare With Modular CFCS Modeling for Naval Combat System

Get full text

Who embraces AI in play? Exploratory modeling of player preference profiles toward game AI

Get full text

Built Environment Reasoning from Remote Sensing Imagery Using Large Vision--Language Models

Get full text

DP-LAC: Lightweight Adaptive Clipping for Differentially Private Federated Fine-tuning of Language Models

Get full text

CapVector: Learning Transferable Capability Vectors in Parametric Space for Vision-Language-Action Models

Get full text

Towards a Large Language-Vision Question Answering Model for MSTAR Automatic Target Recognition

Get full text

Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model

Get full text