Chad E. Brown

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 31

Top Topics

Automated Reasoning

Top Venues

Publications

Johannes Niederhauser, Chad E. Brown, Cezary Kaliszyk
Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic. IJCAR (1) (2024)
Daniel Ranalter, Chad E. Brown, Cezary Kaliszyk
Experiments with Choice in Dependently-Typed Higher-Order Logic. LPAR (2024)
Thibault Gauthier, Chad E. Brown
A Formal Proof of R(4, 5)=25. CoRR (2024)
Chad E. Brown, Mikolás Janota, Mirek Olsák
Symbolic Computation for All the Fun. CoRR (2024)
Chad E. Brown, Mikolas Janota, Mirek Olsák
Symbolic Computation for All the Fun. PAAR+SC²@IJCAR (2024)
Mario Carneiro, Chad E. Brown, Josef Urban
Automated Theorem Proving for Metamath. ITP (2023)
Thibault Gauthier, Chad E. Brown, Mikolas Janota, Josef Urban
A Mathematical Benchmark for Inductive Theorem Provers. LPAR (2023)
Julian Parsert, Chad E. Brown, Mikolas Janota, Cezary Kaliszyk
Experiments on Infinite Model Finding in SMT Solving. LPAR (2023)
Thibault Gauthier, Chad E. Brown, Mikolas Janota, Josef Urban
A Mathematical Benchmark for Inductive Theorem Provers. CoRR (2023)
Chad E. Brown, Adam Pease, Josef Urban
Translating SUMO-K to Higher-Order Set Theory. FroCoS (2023)
Chad E. Brown, Mikolás Janota, Cezary Kaliszyk
Abstract: Challenges and Solutions for Higher-Order SMT Proofs. SMT (2022)
Chad E. Brown, Cezary Kaliszyk
Lash 1.0 (System Description). CoRR (2022)
Chad E. Brown, Cezary Kaliszyk
Lash 1.0 (System Description). IJCAR (2022)
Chad E. Brown, Cezary Kaliszyk, Thibault Gauthier, Josef Urban
Proofgold: Blockchain for Formal Methods. FMBC@CAV (2022)
Zsolt Zombori, Josef Urban, Chad E. Brown
Prolog Technology Reinforcement Learning Prover. CoRR (2020)
Zsolt Zombori, Josef Urban, Chad E. Brown
Prolog Technology Reinforcement Learning Prover - (System Description). IJCAR (2) (2020)
Qingxiang Wang, Chad E. Brown, Cezary Kaliszyk, Josef Urban
Exploration of neural machine translation in autoformalization of mathematics in Mizar. CPP (2020)
Chad E. Brown, Karol Pak
AIM Loops and the AIM Conjecture. Formaliz. Math. 27 (4) (2019)
Pierre Pradic, Chad E. Brown
Cantor-Bernstein implies Excluded Middle. CoRR (2019)
Bartosz Piotrowski, Josef Urban, Chad E. Brown, Cezary Kaliszyk
Can Neural Networks Learn Symbolic Rewriting? CoRR (2019)
Qingxiang Wang, Chad E. Brown, Cezary Kaliszyk, Josef Urban
Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar. CoRR (2019)
Chad E. Brown, Thibault Gauthier, Cezary Kaliszyk, Geoff Sutcliffe, Josef Urban
GRUNGE: A Grand Unified ATP Challenge. CoRR (2019)
Chad E. Brown, Thibault Gauthier
Self-Learned Formula Synthesis in Set Theory. CoRR (2019)
Chad E. Brown, Thibault Gauthier, Cezary Kaliszyk, Geoff Sutcliffe, Josef Urban
GRUNGE: A Grand Unified ATP Challenge. CADE (2019)
Chad E. Brown, Karol Pak
A Tale of Two Set Theories. CoRR (2019)
Chad E. Brown, Cezary Kaliszyk, Karol Pak
Higher-Order Tarski Grothendieck as a Foundation for Formal Proof. ITP (2019)
Chad E. Brown, Karol Pak
A Tale of Two Set Theories. CICM (2019)
Chad E. Brown, Josef Urban
Extracting Higher-Order Goals from the Mizar Mathematical Library. CoRR (2016)
Chad E. Brown, Josef Urban
Extracting Higher-Order Goals from the Mizar Mathematical Library. CICM (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)
Chad E. Brown
Reconsidering Pairs and Functions as Sets. J. Autom. Reason. 55 (3) (2015)
Chad E. Brown, Christine Rizkallah
Glivenko and Kuroda for Simple Type Theory. J. Symb. Log. 79 (2) (2014)
Chad E. Brown, Christine Rizkallah
From Classical Extensional Higher-Order Tableau to Intuitionistic Intentional Natural Deduction. PxTP@CADE (2013)
Chad E. Brown
Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems. J. Autom. Reason. 51 (1) (2013)
Chad E. Brown
Satallax: An Automatic Higher-Order Prover. IJCAR (2012)
Chad E. Brown
Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems. CADE (2011)
Julian Backes, Chad E. Brown
Analytic Tableaux for Higher-Order Logic with Choice. J. Autom. Reason. 47 (4) (2011)
Julian Backes, Chad E. Brown
Analytic Tableaux for Higher-Order Logic with Choice. IJCAR (2010)
Chad E. Brown, Gert Smolka
Analytic Tableaux for Simple Type Theory and its First-Order Fragment Log. Methods Comput. Sci. 6 (2) (2010)
Geoff Sutcliffe, Christoph Benzmüller, Chad E. Brown, Frank Theiss
Progress in the Development of Automated Theorem Proving for Higher-Order Logic. CADE (2009)
Chad E. Brown, Gert Smolka
Terminating Tableaux for the Basic Fragment of Simple Type Theory. TABLEAUX (2009)
Christoph Benzmüller, Chad E. Brown, Michael Kohlhase
Cut-Simulation and Impredicativity Log. Methods Comput. Sci. 5 (1) (2009)
Chad E. Brown, Gert Smolka
Extended First-Order Logic. TPHOLs (2009)
Chad E. Brown
Encoding Functional Relations in Scunak. Electron. Notes Theor. Comput. Sci. 174 (5) (2007)
Feryal Fulya Horozal, Chad E. Brown
Formal Representation of Mathematics in a Dependently Typed Set Theory. Calculemus/MKM (2007)
Chad E. Brown
Verifying and Invalidating Textbook Proofs Using Scunak. MKM (2006)
Chad E. Brown
Combining Type Theory and Untyped Set Theory. IJCAR (2006)
Peter B. Andrews, Chad E. Brown
TPS: A hybrid automatic-interactive system for developing proofs. J. Appl. Log. 4 (4) (2006)
Christoph Benzmüller, Chad E. Brown, Michael Kohlhase
Cut-Simulation in Impredicative Logics. IJCAR (2006)
Christoph Benzmüller, Chad E. Brown
A Structured Set of Higher-Order Problems. TPHOLs (2005)
Chad E. Brown
Reasoning in Extensional Type Theory with Equality. CADE (2005)
Christoph Benzmüller, Chad E. Brown, Michael Kohlhase
Higher-order semantics and extensionality. J. Symb. Log. 69 (4) (2004)
Peter B. Andrews, Chad E. Brown, Frank Pfenning, Matthew Bishop, Sunil Issar, Hongwei Xi
ETPS: A System to Help Students Write Formal Proofs. J. Autom. Reason. 32 (1) (2004)
Chad E. Brown
Solving for Set Variables in Higher-Order Theorem Proving. CADE (2002)
Peter B. Andrews, Matthew Bishop, Chad E. Brown
System Description: TPS: A Theorem Proving System for Type Theory. CADE (2000)
Peter B. Andrews, Chad E. Brown
Tutorial: Using TPS for Higher-Order Theorem Proving and ETPS for Teaching Logic. CADE (2000)