Kostas Stathis — accepted AI-conference papers

2026

Towards a Common Framework for Autoformalization

Agnieszka Mensfelt, David Tena Cucala, Santiago Franco, Angeliki Koutsoukou-Argyraki, Vince Trencsenyi, Kostas Stathis

AAAI 2026technical

Autoformalization has emerged as a term referring to the automation of formalization in the context of the formalization of mathematics using interactive theorem provers (proof assistants). Its rapid development has been driven by progress in deep learning, especially large language models (LLMs). M

Cited by 0 Source ↗PDF ↗Scholar ↗

2023

Disentangling Reafferent Effects by Doing Nothing

Benedict Wilkins, Kostas Stathis

AAAI 2023technical

An agent's ability to distinguish between sensory effects that are self-caused, and those that are not, is instrumental in the achievement of its goals. This ability is thought to be central to a variety of functions in biological organisms, from perceptual stabilisation and accurate motor control,…

Cited by 1 Source ↗PDF ↗code ↗Scholar ↗

2020

A Deep Reinforcement Learning Approach to Concurrent Bilateral Negotiation

Pallavi Bagga, Nicola Paoletti, Bedour Alrayes, Kostas Stathis

IJCAI 2020poster

We present a novel negotiation model that allows an agent to learn how to negotiate during concurrent bilateral negotiations in unknown and dynamic e-markets. The agent uses an actor-critic architecture with model-free reinforcement learning to learn a strategy expressed as a deep neural network. We…

Cited by 0 Source ↗PDF ↗Scholar ↗