Prépublication
· 2026 arXiv
EN
We introduce a novel method for verifying Lean formalizations that goes beyond LLM-judged faithfulness. Unlike most verification methods, which rely on LLMs or trained models, our method combines LLM-based semantic review with mechanical numerical and vacuity...
Anna Mei, Michael R. Douglas
#cs.LO
Prépublication
· 2026 arXiv
EN
Brazilian Portuguese remains underserved by open-source language models, and the few that are safety-aligned rarely document what did not work or validate comparisons with statistical significance. We present Manacá-1B-Instruct-2, the second-generation post-tr...
Bruno Leonardo Santos Menezes, Carlos Leonardo Souza Cardoso et al.
#cs.CL
Prépublication
· 2026 arXiv
EN
Understanding the social intelligence of large language models (LLMs) is increasingly important for applications involving human-AI interaction and multi-agent environments. Social intelligence comprises two aspects: cognitive intelligence, the ability to infe...
Ali Zamani, Soroush Esfahanian et al.
#cs.CL
Prépublication
· 2026 arXiv
EN
Inferring climate fields at higher spatio-temporal resolutions from coarse representations is essential for accessing socioeconomic and environmental impacts. The downscaling of modelled climate fields faces a trade-off between data storage constraints, simula...
Yu Huang, Shangshang Yang et al.
#physics.ao-ph
Prépublication
· 2026 arXiv
EN
Accurate forecasting of optical turbulence (OT) is useful to optimise telescope scheduling and maximising observing efficiency, as the performance of adaptive optics systems strongly depends on turbulence conditions. While various numerical weather prediction...
M. De Sepibus, E. Masciadri et al.
#astro-ph.IM
Prépublication
· 2026 arXiv
EN
Supermassive black hole binaries (SMBHB) are expected at the center of galaxies as a result of galaxy mergers. The dynamics and evolution of SMBHBs shed light on the evolution and formation of galaxies, the gravitational wave background and the nature of gravi...
Hanxi Wang, Bence Kocsis et al.
#astro-ph.GA
Prépublication
· 2026 arXiv
EN
Forthcoming cosmic microwave background (CMB) experiments are targeting ambitious science goals, including the exploration of the particle content of the Universe across cosmic times and the search for the faint signal from primordial gravitational waves. To p...
Camille Demay, Magdy Morshed et al.
#astro-ph.CO
Prépublication
· 2026 arXiv
EN
Higher-order curvature corrections to general relativity arise naturally in many fundamental theories and provide phenomenologically interesting low-energy effective field theories. However, higher-derivative terms can introduce ghost modes, which call the val...
Antonio De Felice, Guillem Domènech et al.
#gr-qc
Texte transcrit
Wikisource
FR
Extrait : géographie de l’Atlantide et ses racesManzi - Livre de l'Atlantide.djvuManzi - Livre de l'Atlantide.djvu/148-52 CHAPITRE IV __________ LA GÉOGRAPHIE
Wikisource
#Géographie
Document numérisé
· 1758 Gallica (BnF)
FR
Document numérisé par la Bibliothèque nationale de France, publié en 1758. Thème : histoire naturelle. Consultable en ligne sur Gallica.
Bibliothèque nationale de France
#Histoire naturelle
Document numérisé
· 1758 Gallica (BnF)
FR
Document numérisé par la Bibliothèque nationale de France, publié en 1758. Thème : histoire naturelle. Consultable en ligne sur Gallica.
Bibliothèque nationale de France
#Histoire naturelle
Prépublication
· 2026 arXiv
EN
Task planning for robots in off-site construction prefabrication is primarily manual, leading to planning inefficiencies and reluctance to adopt robotic solutions. Existing approaches provide limited support for scalable, modular automated task planning and lo...
Shermin Sherkat, Thomas Wortmann et al.
#cs.RO