Symmetric Proofs in the Ideal Proof System
We consider the Ideal Proof System (IPS) introduced by Grochow and Pitassi and pose the question of which tautologies admit symmetric proofs, and of what complexity. The symmetry requirement in proofs is inspired by recent work establishing lower bounds in other symmetric...
Supersymmetric Warped Solutions from Type IIB Orientifold Reduction
We construct a family of supersymmetric solutions in Type IIB supergravity of the form ${\rm WAdS}_3\times {\rm WS}^3\times T^4$, where ${\rm WAdS}_3$ and ${\rm WS^3}$ denote a warped anti-de Sitter spacetime and a warped 3-sphere, respectively, while $T^4$ denotes an internal 4-torus....
Symbiotic stars in the era of modern ground- and space-based surveys
Symbiotic stars, interacting binaries composed of a cool giant and a hot compact companion, exhibit complex variability across the electromagnetic spectrum. Over the past decades, large-scale photometric and spectroscopic surveys from ground- and space-based observatories have significantly advanced their discovery and characterization....
Modeling a Non-Singular Universe with Late-Time Acceleration through a Novel Inhomogeneous Barotropic Equation of State
In this study, we investigated the effects of incorporating barotropic fluids on cosmological solutions within the general relativity (GR) framework. We proposed a modified version of the barotropic fluid with the EoS, $p=\zeta _0 \rho +\zeta _1 \rho \left(t-t_0\right){}^{-2 n}$, where $\zeta_0$,...
Process Reward Models That Think
Step-by-step verifiers — also known as process reward models (PMR) — are a key ingredient for test-time scaling. PRMs require step-level supervision, making them expensive to train. This work aims to build data-efficient PRMs as verbalized step-wise reward models that verify every...
Evaluating Autoencoders for Parametric and Invertible Multidimensional Projections
Récemment, neural networks have gained attention for creating parametric and invertible multidimensional data projections. Parametric projections allow for embedding previously unseen data without recomputing the projection as a whole, while invertible projections enable the generation of new data points. Cependant, these properties...
LRASGen: LLM-based RESTful API Specification Generation
REpresentation State Transfer (REST) is an architectural style for designing web applications that enable scalable, stateless communication between clients and servers via common HTTP techniques. Web APIs that employ the REST style are known as RESTful (or REST) APIs. When using or...
Improving Significant Wave Height Prediction Using Chronos Models
Accurate wave height prediction is critical for maritime safety and coastal resilience, yet conventional physics-based models and traditional machine learning methods face challenges in computational efficiency and nonlinear dynamics modeling. This study introduces Chronos, the first implementation of a large language model...
Robust Accelerated Dynamics for Subnetwork Bilinear Zero-Sum Games with Distributed Restarting
Dans ce document, we investigate distributed Nash equilibrium seeking for a class of two-subnetwork zero-sum games characterized by bilinear coupling. We present a distributed primal-dual accelerated mirror-descent algorithm that guarantees convergence. Cependant, we demonstrate that this time-varying algorithm is not robust, as...
Approximating Optimal Labelings for Temporal Connectivity
In a temporal graph the edge set dynamically changes over time according to a set of time-labels associated with each edge that indicates at which time-steps the edge is available. Two vertices are connected if there is a path connecting them in...