Fabian Huch | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Lukas Stevens
4 publications
Alexander Krauss
2 publications
Yecine Megdiche
1 publication
Vincent Bode
1 publication

research

∙ 09/28/2022

The Isabelle Community Benchmark

Choosing hardware for theorem proving is no simple task: automated prove...

0 Fabian Huch, et al. ∙

research

∙ 09/27/2022

Structure in Theorem Proving: Analyzing and Improving the Isabelle Archive of Formal Proofs

The Isabelle Archive of Formal Proofs has grown to a significant size in...

0 Fabian Huch, et al. ∙

research

∙ 07/21/2022

A Linter for Isabelle: Implementation and Evaluation

In interactive theorem proving, formalization quality is a key factor fo...

0 Yecine Megdiche, et al. ∙

research

∙ 04/27/2022

FindFacts: A Scalable Theorem Search

The Isabelle Archive of Formal Proofs (AFP) has grown to over 500 articl...

0 Fabian Huch, et al. ∙