cs updates on arXiv.org

Intent-Level Quantum Programming with Assertion-Guided Execution and Inspectable Intermediate Representation

arXiv·

Neural Networks with Local Converging Inputs for Efficient Options Pricing Models

arXiv·

Can Large Language Models Recover Semantic Optimization Opportunities That Compilers Miss?

arXiv·

A Physics-Informed Hybrid Neural Operator for Transient Magnetization Prediction in Power Magnetics

arXiv·

GenOS: Compositional Certificates for Semantic Robustness in AI Code Generation

arXiv·

An Empirical Analysis of the Glob Ecosystem

arXiv·

Solver-Aware Decompositions for Programming-by-Example: When Dividing Requires Knowing how to Conquer

arXiv·

State Propagation Also Satisfies: A Complex-Valued State-Space Model for Deterministic State Tracking

arXiv·

Distractor-Aware Truncation: Disentangling Context-Length Effects from Signal Loss in Long-Context LLM Benchmarks

arXiv·

PhyAI: Real-Time Physical AI at the Edge, Scalable Rollouts in the Cloud

arXiv·

Quota and population monotonicity across house sizes are incompatible for apportionment to four states

arXiv·

When Correct Solutions Repeat: Rarity-Aware Credit Redistribution for GRPO

arXiv·

Interpolation of Non-Linear Functions for LLMs using Partial Reconfiguration in FPGAs

arXiv·

Heterogeneity-Aware Microscaling for Efficient Low-Bit LLM Inference

arXiv·

Speculative Successive Cancellation Decoding of Polar Codes

arXiv·

Structured-Sparsity-Aware Joint User Activity Detection and Channel Estimation for OTFS-Based Grant-Free Random Access

arXiv·

Optimal Liability Design for Medical AI

arXiv·

Task-Oriented Candidate-Latent Feedback for Coarse-to-Fine Sensing in Distributed OFDM-ISAC Networks

arXiv·

Explainable AI for the EU Right to Explanation: A Systematic Review of the Law-XAI Translation Gap

Intent-Level Quantum Programming with Assertion-Guided Execution and Inspectable Intermediate Representation

Neural Networks with Local Converging Inputs for Efficient Options Pricing Models

Can Large Language Models Recover Semantic Optimization Opportunities That Compilers Miss?

A Physics-Informed Hybrid Neural Operator for Transient Magnetization Prediction in Power Magnetics

GenOS: Compositional Certificates for Semantic Robustness in AI Code Generation

An Empirical Analysis of the Glob Ecosystem

Solver-Aware Decompositions for Programming-by-Example: When Dividing Requires Knowing how to Conquer

State Propagation Also Satisfies: A Complex-Valued State-Space Model for Deterministic State Tracking

Distractor-Aware Truncation: Disentangling Context-Length Effects from Signal Loss in Long-Context LLM Benchmarks

PhyAI: Real-Time Physical AI at the Edge, Scalable Rollouts in the Cloud

Quota and population monotonicity across house sizes are incompatible for apportionment to four states

When Correct Solutions Repeat: Rarity-Aware Credit Redistribution for GRPO

Interpolation of Non-Linear Functions for LLMs using Partial Reconfiguration in FPGAs

Heterogeneity-Aware Microscaling for Efficient Low-Bit LLM Inference

Speculative Successive Cancellation Decoding of Polar Codes

Structured-Sparsity-Aware Joint User Activity Detection and Channel Estimation for OTFS-Based Grant-Free Random Access

Optimal Liability Design for Medical AI

Task-Oriented Candidate-Latent Feedback for Coarse-to-Fine Sensing in Distributed OFDM-ISAC Networks

LowRank-SSM: Hardware-Software Co-Design for Rank-Reduced Mamba Acceleration on FPGA