Showing cs.CLShow all
3 papers · 1 filter
cs.CL2026
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…
cs.CL2025
Conversational Code Generation: a Case Study of Designing a Dialogue System for Generating Driving Scenarios for Testing Autonomous Vehicles
Rimvydas Rubavicius, Antonio Valerio Miceli-Barone, Alex Lascarides +1
Cyber-physical systems like autonomous vehicles are tested in simulation before deployment, using domain-specific programs for scenario specification. To aid the testing of autonom…
cs.CL2024
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…