Continuations and Completeness in Proof-theoretic Semantics

Get full text

Logics for Context-free Hyperproperties

Get full text

Beyond Ability: The Four-Fold Spectrum of Power and the Logic of Full Inability

Get full text

The Scaling Properties of Implicit Deductive Reasoning in Transformers

Get full text

Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities

Get full text

ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor

Get full text

täkōFormal: Enabling Robust Software for Programmable Memory Hierarchies (Extended Version)

Get full text

Taming Outlier Tokens in Diffusion Transformers

Get full text

Learning Global Nash Equilibrium in Team Competitive Games with Generalized Fictitious Cross-Play

Get full text

Sharp Capacity Thresholds in Linear Associative Memory: From Winner-Take-All to Listwise Retrieval

Get full text

Estimating the expected output of wide random MLPs more efficiently than sampling

Get full text

Understanding In-Context Learning for Nonlinear Regression with Transformers: Attention as Featurizer

Get full text

PSK at SemEval-2026 Task 9: Multilingual Polarization Detection Using Ensemble Gemma Models with Synthetic Data Augmentation

Get full text

Superposition Is Not Necessary: A Mechanistic Interpretability Analysis of Transformer Representations for Time Series Forecasting

Get full text

What Matters in Practical Learned Image Compression

Get full text

Human-AI Co-Mentorship in Project-Based Learning: A Case Study in Financial Forecasting

Get full text

Low-Cost Black-Box Detection of LLM Hallucinations via Dynamical System Prediction

Get full text

Transformed Latent Variable Multi-Output Gaussian Processes

Get full text

Joint Treatment Effect Estimation from Incomplete Healthcare Data: Temporal Causal Normalizing Flows with LLM-driven Evolutionary MNAR Imputation

Get full text

Wasserstein Convergence Guarantees for a General Class of Score-Based Generative Models

Get full text