Michael Färber

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 17

Top Topics

Quantifier Elimination

Denotational Semantics

Top Venues

Publications

Michael Färber
A formal specification of the jq language. CoRR (2024)
Michael Färber
A Curiously Effective Backtracking Strategy for Connection Tableaux. AReCCa@TABLEAUX (2023)
Michael Färber
Terms for Efficient Proof Checking and Parsing. CPP (2023)
Michael Färber
Denotational Semantics and a Fast Interpreter for jq. CoRR (2023)
Michael Färber
Safe, fast, concurrent proof checking for the lambda-pi calculus modulo rewriting. CPP (2022)
Michael Färber, Cezary Kaliszyk, Josef Urban
Machine Learning Guidance for Connection Tableaux. J. Autom. Reason. 65 (2) (2021)
Michael Färber
Small, Fast, Concurrent Proof Checking for the lambda-Pi Calculus Modulo Rewriting. CoRR (2021)
Michael Färber
A Curiously Effective Backtracking Strategy for Connection Tableaux. CoRR (2021)
Michael Färber, Cezary Kaliszyk
Certification of Nonclausal Connection Tableaux Proofs. TABLEAUX (2019)
Michael Färber, Cezary Kaliszyk, Josef Urban
Machine Learning Guidance and Proof Certification for Connection Tableaux. CoRR (2018)
Michael Färber, Cezary Kaliszyk, Josef Urban
Monte Carlo Tableau Proof Search. CADE (2017)
Michael Färber, Cezary Kaliszyk
No Choice: Reconstruction of First-order ATP Proofs without Skolem Functions. PAAR@IJCAR (2016)
Michael Färber, Cezary Kaliszyk, Josef Urban
Monte Carlo Connection Prover. CoRR (2016)
Michael Färber, Chad E. Brown
Internal Guidance for Satallax. IJCAR (2016)
Michael Färber, Chad E. Brown
Internal Guidance for Satallax. CoRR (2016)
Michael Färber, Cezary Kaliszyk
Metis-based Paramodulation Tactic for HOL Light. GCAI (2015)
Michael Färber, Cezary Kaliszyk
Random Forests for Premise Selection. FroCos (2015)