2k citations
- Universitat de ValènciaES275 papers
- Centre National de la Recherche ScientifiqueFR165 papers
- Instituto de Física CorpuscularES158 papers
- Friedrich-Alexander-Universität Erlangen-NürnbergDE106 papers
- Sapienza University of RomeIT106 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di GenovaIT104 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR103 papers
- Leiden UniversityNL103 papers
- University of AmsterdamNL103 papers
- Aix-Marseille UniversitéFR101 papers
- Centre de physique des particules de MarseilleFR101 papers
- National Institute for Subatomic PhysicsNL100 papers
1,164 papers
Closed-loop evaluation of LLM agents for embedded software development
Jorge García-Carrasco, Sergio García-Carrasco, Alejandro Maté +1
Large language models (LLMs) are increasingly deployed as coding agents that edit files, run builds and tests, inspect execution results, and repair software iteratively. Embedded…
Delayed Constraints in Narrowing for the Logic-Based Analyses of Real-Time Systems
Santiago Escobar, Raúl López-Rueda, Carlos Olarte
The formal analysis of real-time systems must address two dimensions of infiniteness: an unbounded number of agents and messages, and a potentially infinite state space induced by…
Vision Foundation Models in Radiology: A Scoping Review of Data, Methodology, Evaluation and Clinical Translation
Alejandro Vergara-Richart, Xavier Rafael-Palou, Almudena Fuster-Matanzo +3
Vision foundation models (VFMs) are increasingly being developed for radiological imaging, yet their definition, development and evaluation remain heterogeneous. We conducted a PRI…
Unraveling the Ai2 Asta Scholarly Research Assistant Citation System
Enrique Orduña-Malea, Carlos Lopezosa
Despite the growing integration of Deep Research tools into academic workflows, empirical evidence on the operation, stability, and potential biases of their citation systems remai…
Beliefs and Misconceptions around Integrated Conversational AI
William Seymour, Adam Jenkins, Mark Cote +1
LLM-driven conversational AI is beginning to disappear into the background, shifting from something used directly towards something increasingly integrated into existing workflows.…
Quasi-pseudometric modular spaces as -categories
César López-Pastor, Tatiana Pedraza, Jesús Rodríguez-López
We prove that the category of quasi-pseudometric modular spaces whose morphisms are the nonexpansive mappings is isomorphic to a quantale enriched category. To achieve this, we con…