Michael Färber

17 papers A 2B 3Journal 8Unranked 4

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