2 citations · 5 across the 6 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2024
A Construction of the Lie Algebra of a Lie Group in Isabelle/HOL
Richard Schmoetten, Jacques D. Fleuriot
This paper describes a formal theory of smooth vector fields, Lie groups and the Lie algebra of a Lie group in the theorem prover Isabelle. Lie groups are abstract structures that…
cs.LO2021★ 1 cited
Formalising the Foundations of Discrete Reinforcement Learning in Isabelle/HOL
Mark Chevallier, Jacques Fleuriot
We present a formalisation of finite Markov decision processes with rewards in the Isabelle theorem prover. We focus on the foundations required for dynamic programming and the use…
cs.LO2017
Local Lexing
Steven Obua, Phil Scott, Jacques Fleuriot
We introduce a novel parsing concept called local lexing. It integrates the classically separated stages of lexing and parsing by allowing lexing to be dependent upon the parsing p…