From the 1 of 2.3k papers with an AI index.
29.3k citations
- University of PisaIT1.4k papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PisaIT1.4k papers
- Centre National de la Recherche ScientifiqueFR1.3k papers
- University of BolognaIT1.3k papers
- The Ohio State UniversityUS1.3k papers
- Waseda UniversityJP1.2k papers
- Sapienza University of RomeIT1.2k papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR1.2k papers
- University of ChicagoUS1.2k papers
- University of GlasgowGB1.2k papers
- University of MichiganUS1.2k papers
- Institute for High Energy PhysicsES1.2k papers
89 papers · 1 filter
Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy
Andrea Brunello, Luca Geatti, Michele Mignani +2
Due to its expressiveness and unambiguous nature, First-Order Logic (FOL) is a powerful formalism for representing concepts expressed in natural language (NL). This is useful, e.g.…
Automata-less Monitoring via Trace-Checking (Extended Version)
Andrea Brunello, Luca Geatti, Angelo Montanari +1
In runtime verification, monitoring consists of analyzing the current execution of a system and determining, on the basis of the observed finite trace, whether all its possible con…
Critical sinh-Gordon flow with non-negative weight functions
Qiang Fei, Aleks Jevnikar, Sang-Hyuck Moon
The aim of this article is twofold: one one side we introduce and study the properties of a critical sinh-Gordon type flow \begin{equation*} {\frac{\partial}{\partial t}}e^u=Δ_gu+8…
Measurement of the top-quark mass using decays with a meson at 13 TeV with the ATLAS detector
ATLAS Collaboration
The top-quark mass is measured using top-quark decays producing an isolated lepton and meson reconstructed in its decay mode. The data sample was recorded with the A…
Identifying Quantum Structure in AI Language: Evidence for Evolutionary Convergence of Human and Artificial Cognition
Diederik Aerts, Jonito Aerts Arguëlles, Lester Beltran +4
We present the results of cognitive tests on conceptual combinations, performed using specific Large Language Models (LLMs) as test subjects. In the first test, performed with Chat…
Search for signatures of electroweakinos with photons, jets, and large missing transverse momentum in TeV pp collisions with the ATLAS detector
ATLAS Collaboration
A search for final states characterised by at least one isolated high transverse-momentum photon, jets and large missing transverse momentum is presented. Such a final state might…