3 citations · 3 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2020★ 3 cited
Formalizing IMO Problems and Solutions in Isabelle/HOL
Filip Marić, Sana Stojanović-{\Dj}urđević
The International Mathematical Olympiad (IMO) is perhaps the most celebrated mental competition in the world and as such is among the greatest grand challenges for Artificial Intel…
cs.LO2014
A Vernacular for Coherent Logic
Sana Stojanovic, Julien Narboux, Marc Bezem +1
We propose a simple, yet expressive proof representation from which proofs for different proof assistants can easily be generated. The representation uses only a few inference rule…