27 citations · 56 across the 4 of their papers we have counts for
3 papers
LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks
Po-Nien Kung, Linfeng Song, Dawsen Hwang +10
Large Language Models (LLMs) exhibit strong informal mathematical reasoning but struggle to generate mechanically verifiable proofs in formal languages like Lean. We present LEAP,…
Perfect strategies for non-signalling games
M. Lupini, L. Mancinska, V. I. Paulsen +5
We unify and consolidate various results about non-signall-ing games, a subclass of non-local two-player one-round games, by introducing and studying several new families of games…
Linear game non-contextuality and Bell inequalities - a graph-theoretic approach
Piotr Gnaciński, Monika Rosicka, Ravishankar Ramanathan +4
We study the classical and quantum values of one- and two-party linear games, an important class of unique games that generalizes the well-known XOR games to the case of non-binary…