23 citations · 24 across the 6 of their papers we have counts for
6 papers
Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification
Antonio Valerio Miceli Barone, Poon Tsz Nok
We introduce a self-play framework for semantic equivalence in Haskell, utilizing formal verification to guide adversarial training between a generator and an evaluator. The framew…
Program Semantic Inequivalence Game with Large Language Models
Antonio Valerio Miceli-Barone, Vaishak Belle, Ali Payani
Large Language Models (LLMs) can achieve strong performance on everyday coding tasks, but they can fail on complex tasks that require non-trivial reasoning about program semantics.…
A test suite of prompt injection attacks for LLM-based machine translation
Antonio Valerio Miceli-Barone, Zhifan Sun
LLM-based NLP systems typically work by embedding their input data into prompt templates which contain instructions and/or in-context examples, creating queries which are submitted…
Scaling Behavior of Machine Translation with Large Language Models under Prompt Injection Attacks
Zhifan Sun, Antonio Valerio Miceli-Barone
Large Language Models (LLMs) are increasingly becoming the preferred foundation platforms for many Natural Language Processing tasks such as Machine Translation, owing to their qua…
Dialogue-based generation of self-driving simulation scenarios using Large Language Models
Antonio Valerio Miceli-Barone, Alex Lascarides, Craig Innes
Simulation is an invaluable tool for developing and evaluating controllers for self-driving cars. Current simulation frameworks are driven by highly-specialist domain specific lang…
The University of Edinburgh's Neural MT Systems for WMT17
Rico Sennrich, Alexandra Birch, Anna Currey +5
This paper describes the University of Edinburgh's submissions to the WMT17 shared news translation and biomedical translation tasks. We participated in 12 translation directions f…