2 citations · 8 across the 14 of their papers we have counts for
4 papers · 1 filter
Repairing LLM-Generated Specifications with Deterministic Diagnosis
Giovanni Vaccarino, Emanuele La Malfa, Dehai Min +6
Large language models (LLMs) are increasingly used as formalizers: given a reasoning problem expressed in natural language, they produce a formal specification that a symbolic solv…
Reflections and Fragments: Securing LLMs Against Sequential Mosaic Attacks
Emanuele La Malfa, Saar Cohen, Gabriele La Malfa +4
Self-play red-teaming improves language-model safety by pitting attacker and defender roles against each other in a zero-sum game. However, real adversaries increasingly use mosaic…
Benchmarking at the Edge of Comprehension
Samuele Marro, Jialin Yu, Emanuele La Malfa +8
As frontier Large Language Models (LLMs) increasingly saturate new benchmarks shortly after they are published, benchmarking itself is at a juncture: if frontier models keep improv…
Tacit Coordination of Large Language Models
Ido Aharon, Emanuele La Malfa, Michael Wooldridge +1
Large Language Models (LLMs) are increasingly deployed in multi-agent settings that require coordination without communication, from human-AI interaction to safety-critical scenari…