arXiv Science⌕ Search

COMPUTER SCIENCE · arXiv

arXiv science papers.
AI, vision & robotics.

Search indexed arXiv papers on artificial intelligence, large language models, computer vision and robotics. Read source abstracts and follow links to arXiv.

Example searchestransformer architecture image segmentation robot learning
3,228,784 indexed recordsarXiv

Search covers this site's imported records. Source coverage & methodology ↗

arXiv subjects
cs.AI / cs.CL / cs.CV / cs.RODecorative illustration

EXPLORE A SUBJECT

arXiv subjects

All collections ↗

Language models

Find arXiv papers on language models and computational linguistics, including cs.CL metadata. Use abstracts to explore model training, evaluation and natural-language processing.

Matching records ↗

Robotics

Explore arXiv robotics papers and cs.RO metadata. Search for robot learning, motion planning and control, then check experiments in the source manuscript.

Matching records ↗

Artificial intelligence

Search indexed arXiv papers on artificial intelligence and machine learning, including cs.AI metadata. Follow the original manuscripts for methods, experiments and version history.

Matching records ↗

SOURCE RECORDS

arXiv papers in this index

View all 3,228,784 records ↗
arXiv2026

Thermodynamics: Extending and Reconstructing of Classical Theoretical Framework

One deep problem that the traditional thermodynamics has faced since the beginning, I call it the predicament of equilibrium state. In this predicament, both the initial and the final states of a given system must be in equilibrium states, and the evolutionary processes from an initial to an final states must be assumed to be a series of quasi-static processes, because in non-equilibrium state, there are two intensive variables that anchored to the system or the locals are ill-defined, the real problem is, we did not know which extensive quantity that the temperature T and the pressure p are anchored to. In the traditional thermo-dynamics: there has neither a state quantity of heat, nor dynamics. This deep problem is derived from the absence of a fundamental physical quantity, the total energy of thermal motion in multiple levels, empirically be called as the heat energy, as a state quantity, which never been defined on its own but only implied within the thermodynamic equations. When the concept of the heat energy has been defined, the anchor that the temperature T and the pressure p are anchored to has been confirmed: the temperature T and the pressure p are the two intensive variables of the heat energy, thus, the predicament of equilibrium state has been completely broken through. What we are seeing is a groundbreaking overall progress, almost all the long-standing tricky problems in the traditional thermodynamics will be finally clarified. In this article, I will discuss some of the famous problems focusing on reconstructing a new theoretical framework: Thermodynamic processes are driven by the gradients of thermodynamic forces, the relationship between the states and the changes of a given system and the driving forces are the main themes of thermodynamics. What we see is a new narrative paradigm: there have both the state quantity of the heat energy, and also dynamics.

physics.chem-ph↗
arXiv2026

Classification of critically fixed anti-Thurston maps

We provide a complete combinatorial classification of critically fixed anti-Thurston maps, i.e., orientation-reversing branched covers of the 2-sphere that fix every critical point. The first step in the proof, and an interesting result in its own right, is a combinatorial classification of critically fixed anti-rational maps as "Schottky maps" associated with certain plane graphs. Both of these classification results heavily rely on an orientation-reversing version of Thurston's theory, including the canonical decomposition of anti-Thurston maps, which we develop in this paper. We use our combinatorial framework to answer special instances of the global curve attractor and twisting problems, and to resolve the Hurwitz existence problem in the setting of critically fixed anti-rational maps. Finally, we give some applications to the study of anti-rational maps with symmetries and to critically fixed anti-polynomials.

math.DS↗
arXiv2026

Introduction to the ADM formalism

The authors present concepts and mathematical developments which give rise to the Hamiltonian formulation of Einstein's general relativity, first introduced by Arnowitt, Deser, and Misner. All the geometrical quantities needed for the construction are explicitly obtained, and examples of some of the application of the formalism are given.

gr-qc↗
arXiv2026

Monotone comparative statics under dual submodularity, with an application to aggregate deferred acceptance

We develop monotone comparative statics for constrained quantity choices generated by convex costs satisfying dual submodularity, meaning that their Legendre-Fenchel conjugates are submodular. We introduce the Q-order, an exchange order for possibly set-valued quantity choices, and prove a dual counterpart of Topkis's theorem. A closed proper convex function is exchangeable in the Q-order if and only if its conjugate is submodular. Exchangeability implies Q-monotonicity of rejected quantities under price and capacity changes; when the conjugate has a sublattice domain, the comparative-statics property is also a characterization. We apply the result to two-sided matching with divisible masses and welfare-generated, possibly set-valued choices. An aggregate deferred-acceptance algorithm is well defined; the availability sequence and the least waiting-time multiplier sequences converge; and every proposal limit selected by the theorem yields an aggregate equilibrium matching. The construction covers classical stable nontransferable-utility matching and aggregate random-utility specifications.

econ.TH↗
arXiv2026

Chain-of-Thought in Neural Code Generation: From and For Lightweight Language Models

Large Language Models (LLMs) have demonstrated remarkable potential in code generation. The integration of Chain of Thought (CoT) reasoning can further boost their performance. However, current CoT methods often require manual writing or LLMs with over 100 billion parameters to generate, impeding their applicability in resource-constrained scenarios. In this study, we investigate lightweight Language Models (lLMs), which are defined to have fewer than 10 billion parameters. Empirically, we find that most lLMs cannot generate high-quality CoTs when prompted by the few-shot method, but can take advantage of high-quality CoTs generated elsewhere to improve their performance in code generation. Based on these findings, we design a novel approach COTTON which can leverage lLMs to automatically generate CoTs for code generation. We synthesize new datasets and conduct extensive experiments on various benchmarks. The results show that the CoTs generated by COTTON outperform the baselines in terms of automated and human evaluation metrics. In particular, the CoTs generated by COTTON boost various lLMs to achieve higher performance gains than those generated by LLMs such as ChatGLM (130B), and are competitive with those generated by gpt-3.5-turbo (175B). Our study also showcases the potential of lLMs in software engineering applications.

cs.SE↗
arXiv2026

Conditional Motional Squeezing of an Optomechanical Oscillator Approaching the Quantum Regime

Squeezed mechanical states are a highly coveted resource for quantum-enhanced sensing and serve as a compelling platform for probing the interplay between gravity and quantum mechanics. It has been predicted that a mechanical oscillator can be prepared into a quantum squeezed state if the applied measurement rate is fast relative to its mechanical resonance frequency. However, the experimental feasibility of this protocol has remained uncertain because of the difficulty in achieving low-frequency oscillators with sufficiently strong read-out. Here, we demonstrate that a careful selection of parameters in an optomechanical system, combined with optimal filtering techniques, enables the preparation of a 50 ng GaAs cantilever in a conditional classical squeezed state, achieving a minimum uncertainty of just 1.07 plus/minus 0.04 times the zero-point fluctuation level. This minimum variance is 3 orders of magnitude smaller than what has been achieved in previous experiments using the same protocol. Although we do not fully achieve the quantum squeezed regime, our demonstration provides definitive evidence that a measurement-based protocol is a practical and effective approach for the real-time preparation of macroscopic oscillators in quantum squeezed states.

quant-ph↗
FOLLOW THE SOURCE

arXiv abstracts & original papers

Follow the arXiv record for the manuscript, author list and available versions.

Sources & methodology ↗