arXiv Computer Science @arxiv_cs@qoto.org

Galois Energy Games: To Solve All Kinds of Quantitative Reachability Problems https://arxiv.org/abs/2505.14691 #cs.LO #cs.CC

Sentiment Analysis in Software Engineering: Evaluating Generative Pre-trained Transformers https://arxiv.org/abs/2505.14692 #cs.SE #cs.CL #cs.LG

Propositional Measure Logic https://arxiv.org/abs/2505.14693 #cs.LO #cs.AI

Prime Path Coverage in the GNU Compiler Collection https://arxiv.org/abs/2505.14694 #cs.PL

On the Possibilities of Hypercomputing Supertasks https://arxiv.org/abs/2505.14698 #cs.LO

Benchmarking Graph Neural Networks for Document Layout Analysis in Public Affairs https://arxiv.org/abs/2505.14699 #cs.CV #cs.CL #cs.LG

Stochastic Fractional Neural Operators: A Symmetrized Approach to Modeling Turbulence in Complex Fluid Dynamics https://arxiv.org/abs/2505.14700 #math.NA #stat.ML #cs.LG #cs.NA

Modelling Real-time Systems with Bigraphs https://arxiv.org/abs/2505.13449 #cs.LO #cs.MA

Fractal Analysis on the Real Interval: A Constructive Approach via Fractal Countability https://arxiv.org/abs/2505.13450 #math.FA #cs.LO

Large Language Model powered Symbolic Execution https://arxiv.org/abs/2505.13452 #cs.PL

Pel, A Programming Language for Orchestrating AI Agents https://arxiv.org/abs/2505.13453 #cs.PL #cs.AI #cs.ET

pyeb: A Python Implementation of Event-B Refinement Calculus https://arxiv.org/abs/2505.13454 #cs.PL

Tuning Learning Rates with the Cumulative-Learning Constant https://arxiv.org/abs/2505.13457 #cs.LG

Antichains for Concurrent Parameterized Games https://arxiv.org/abs/2505.13460 #cs.LO #cs.GT

FPGA-based Acceleration for Convolutional Neural Networks: A Comprehensive Review https://arxiv.org/abs/2505.13461 #cs.LG #cs.AR

End-to-end fully-binarized network design: from Generic Learned Thermometer to Block Pruning https://arxiv.org/abs/2505.13462 #eess.IV #stat.ML #cs.LG #cs.AR #cs.CV

Predicting The Evolution of Interfaces with Fourier Neural Operators https://arxiv.org/abs/2505.13463 #physics.comp-ph #physics.flu-dyn #cs.LG

Spectral Policy Optimization: Coloring your Incorrect Reasoning in GRPO https://arxiv.org/abs/2505.11595 #cs.LG #cs.AI #cs.CL

Continuous Optimization for Feature Selection with Permutation-Invariant Embedding and Policy-Guided Search https://arxiv.org/abs/2505.11601 #cs.LG #cs.AI

Regularity and Stability Properties of Selective SSMs with Discontinuous Gating https://arxiv.org/abs/2505.11602 #math.DS #math.OC #stat.ML #cs.LG