713 citations
- University of LisbonPT93 papers
- Centre National de la Recherche ScientifiqueFR37 papers
- Sorbonne UniversitéFR30 papers
- University of OxfordGB30 papers
- Instituto Superior TécnicoPT29 papers
- European Organization for Nuclear ResearchCH28 papers
- Université Grenoble AlpesFR26 papers
- Charles UniversityCZ25 papers
- Institute of High Energy PhysicsCN25 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR25 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di MilanoIT25 papers
- Universidade Federal do Rio de JaneiroBR25 papers
10 papers · 1 filter
Can Large Language Models Implement Agent-Based Models? An ODD-based Replication Study
Nuno Fachada, Daniel Fernandes, Carlos M. Fernandes +1
Large language models (LLMs) can now synthesize non-trivial executable code from textual descriptions, raising an important question: can LLMs reliably implement agent-based models…
Software Testing in the Quantum World
Rui Abreu, Shaukat Ali, Paolo Arcaini +11
Quantum computing offers significant speedups for simulating physical, chemical, and biological systems, and for optimization and machine learning. As quantum software grows in com…
Can Automated Feedback Turn Students into Happy Prologians?
Ricardo Brancas, Pedro Orvalho, Carolina Carreira +2
Providing personalized feedback is essential for effective learning, but delivering it promptly can be challenging in large-scale courses. In this work, we present ProHelp, an auto…
Domain-Driven Design Representation of Monolith Candidate Decompositions Based on Entity Accesses
Miguel Levezinho, Stefan Kapferer, Olaf Zimmermann +1
Microservice architectures have gained popularity as one of the preferred architectural approaches to develop large-scale systems, replacing the monolith architecture approach. Sim…
CoqPyt: Proof Navigation in Python in the Era of LLMs
Pedro Carrott, Nuno Saavedra, Kyle Thompson +3
Proof assistants enable users to develop machine-checked proofs regarding software-related properties. Unfortunately, the interactive nature of these proof assistants imposes most…
An Agent-based Architecture for AI-Enhanced Automated Testing for XR Systems, a Short Paper
I. S. W. B. Prasetya, Samira Shirzadehhajimahmood, Saba Gholizadeh Ansari +2
This short paper presents an architectural overview of an agent-based framework called iv4XR for automated testing that is currently under development by an H2020 project with the…