7 citations · 10 across the 3 of their papers we have counts for
3 papers
Code Simulation Challenges for Large Language Models
Emanuele La Malfa, Christoph Weinhuber, Orazio Torre +5
Many reasoning, planning, and problem-solving tasks share an intrinsic algorithmic nature: correctly simulating each step is a sufficient condition to solve them correctly. This wo…
Language Models as a Service: Overview of a New Paradigm and its Challenges
Emanuele La Malfa, Aleksandar Petrov, Simon Frieder +6
Some of the most powerful language models currently are proprietary systems, accessible only via (typically restrictive) web or software programming interfaces. This is the Languag…
Cooperative Concurrent Games
Julian Gutierrez, Szymon Kowara, Sarit Kraus +2
In rational verification, the aim is to verify which temporal logic properties will obtain in a multi-agent system, under the assumption that agents ("players") in the system choos…