The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase theorem-provers (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1969-1986 (18) 1988-1990 (22) 1991-1992 (38) 1993-1994 (41) 1995-1996 (19) 1997-1998 (47) 1999 (21) 2000 (15) 2001-2002 (35) 2003 (29) 2004 (31) 2005 (34) 2006 (36) 2007 (30) 2008 (34) 2009 (25) 2010 (32) 2011-2012 (17) 2013-2014 (22) 2015-2016 (16) 2017-2019 (17) 2020-2022 (18) 2023-2024 (5)
Publication types (Num. hits)
article(84) incollection(3) inproceedings(491) phdthesis(13) proceedings(11)
Venues (Conferences, Journals, ...)
CADE(66) TPCD(37) UITP(31) TPHOLs(25) J. Autom. Reason.(19) UITP@TPHOLs(19) CoRR(17) IJCAR(14) LPAR(13) PAR@ITP(11) UITP@FLoC(11) AISC(10) ASE(7) CSL(7) PAR(7) TABLEAUX(7) More (+10 of total 215)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 266 occurrences of 186 keywords

Results
Found 602 publication records. Showing 602 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
97Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann Specification and Integration of Theorem Provers and Computer Algebra Systems. Search on Bibsonomy AISC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Integration, Theorem Provers, Computer Algebra Systems, Formal Frameworks
75Alexander Leitsch Decision Procedures and Model Building, or How to Improve Logical Information in Automated Deduction. Search on Bibsonomy FTP (LNCS Selection) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
67Amy P. Felty, Dale Miller 0001 Specifying Theorem Provers in a Higher-Order Logic Programming Language. Search on Bibsonomy CADE The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
66Clemens Ballarin, Lawrence C. Paulson Reasoning About Coding Theory: The Benefits We Get from Computer Algebra. Search on Bibsonomy AISC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF mechanised reasoning, combining systems, soundness of computer algebra systems, specialisation problem, AISC topics, Integration of logical reasoning and computer algebra, Computer algebra, coding theory, automated theorem provers
61Josef Urban MPTP - Motivation, Implementation, First Experiments. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF ATP, Mizar, MPA, MPTP
61Predrag Janicic, Alan Bundy, Ian Green A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers. Search on Bibsonomy CADE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
58Ian Horrocks 0001, Andrei Voronkov Reasoning Support for Expressive Ontology Languages Using a Theorem Prover. Search on Bibsonomy FoIKS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
57Pablo Cordero, Gloria Gutiérrez, Javier Martínez 0001, Inmaculada Perez de Guzmán A New Algebraic Tool for Automatic Theorem Provers. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF multisemilattice, theorem provers, automated deduction, implicants, ideals, lattice theory
57Charles Bouillaguet, Viktor Kuncak, Thomas Wies, Karen Zee, Martin C. Rinard Using First-Order Theorem Provers in the Jahob Data Structure Verification System. Search on Bibsonomy VMCAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
57Owen L. Astrachan, Mark E. Stickel Caching and Lemmaizing in Model Elimination Theorem Provers. Search on Bibsonomy CADE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
54Krystof Hoder, Andrei Voronkov Comparing Unification Algorithms in First-Order Theorem Proving. Search on Bibsonomy KI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
53J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro Verification of Program Properties Using Different Theorem Provers: A Case Study. Search on Bibsonomy EUROCAST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
53Bernhard Beckert, Sarah Grebing, Florian Böhl How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers. Search on Bibsonomy UITP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
53Victoria Stavridou, Thomas F. Melham, Raymond T. Boute (eds.) Theorem Provers in Circuit Design, Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24 June 1992, Proceedings Search on Bibsonomy TPCD The full citation details ... 1992 DBLP  BibTeX  RDF
53Keith Hanna, Neil Daeche, Gareth Howells 0001 Implementation of the Veritas Design Logic. Search on Bibsonomy TPCD The full citation details ... 1992 DBLP  BibTeX  RDF
53Mark Bickford, Mandayam K. Srivas Verification of a Fault-Tolerant Property of a Multiprocessor System: A Case Study in Theorem Prover-Based Verification. Search on Bibsonomy TPCD The full citation details ... 1992 DBLP  BibTeX  RDF
53Holger Busch Transformational Design in a Theorem Prover. Search on Bibsonomy TPCD The full citation details ... 1992 DBLP  BibTeX  RDF
53Simon Bainbridge, Albert John Camilleri, Roger Fleming Theorem Proving as an Industrial Tool for System Level Desgin. Search on Bibsonomy TPCD The full citation details ... 1992 DBLP  BibTeX  RDF
53John Herbert Incremental Design and Formal Verification of Microcoded Microporcessors. Search on Bibsonomy TPCD The full citation details ... 1992 DBLP  BibTeX  RDF
53Jørgen Staunstrup, Stephen J. Garland, John V. Guttag Mechanized Verification of Circuit Descriptions Using the Larch Prover. Search on Bibsonomy TPCD The full citation details ... 1992 DBLP  BibTeX  RDF
53Victoria Stavridou, Joseph A. Goguen, Andrew Stevens, Steven M. Eker, Serge N. Aloneftis, Keith Michael Hobley FUNNEL and 2OBJ: Towards an Integrated Hardware Design Environment. Search on Bibsonomy TPCD The full citation details ... 1992 DBLP  BibTeX  RDF
53Beth Levy, Ivan Filippenko, Leo Marcus, Telis Menas Using the State Delta Verification System (SDVS) for Hardware Verification. Search on Bibsonomy TPCD The full citation details ... 1992 DBLP  BibTeX  RDF
53Diederik Verkest, J. Vandenbergh, Luc J. M. Claesen, Hugo De Man A Description Methodology for Parameterized Modules in the Boyer-Moore Logic. Search on Bibsonomy TPCD The full citation details ... 1992 DBLP  BibTeX  RDF
53Keith Hanna, Neil Daeche The Veritas Design Logic: A User's View. Search on Bibsonomy TPCD The full citation details ... 1992 DBLP  BibTeX  RDF
53Paul B. Jackson Nuprl and Its Use in Circuit Design. Search on Bibsonomy TPCD The full citation details ... 1992 DBLP  BibTeX  RDF
53Tiziana Margaria Hierarchical Mixed-Mode Verification of Complex FSMs Described at the RT Level. Search on Bibsonomy TPCD The full citation details ... 1992 DBLP  BibTeX  RDF
53Richard J. Boulton, Andrew D. Gordon 0001, Michael J. C. Gordon, John Harrison 0001, John Herbert, John Van Tassel Experience with Embedding Hardware Description Languages in HOL. Search on Bibsonomy TPCD The full citation details ... 1992 DBLP  BibTeX  RDF
53Bishop Brock, Warren A. Hunt Jr., William D. Young Introduction to a Formally Defined Hardware Description Language. Search on Bibsonomy TPCD The full citation details ... 1992 DBLP  BibTeX  RDF
53Hans Henrik Løvengreen, Jørgen Staunstrup Synchronous Realization of Asynchronous Computations. Search on Bibsonomy TPCD The full citation details ... 1992 DBLP  BibTeX  RDF
53D. J. Kinniment, Albert Koelmans Modelling and Verification of Timing Conditions with the Boyer Moore Prover. Search on Bibsonomy TPCD The full citation details ... 1992 DBLP  BibTeX  RDF
51David Hemer A systematic approach to connecting standalone theorem provers to formal development environments. Search on Bibsonomy APSEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
49Peter Balsiger, Alain Heuerding Comparison of Theorem Provers for Modal Logics - Introduction and Summary. Search on Bibsonomy TABLEAUX The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
47Thomas Raths, Jens Otten, Christoph Kreitz The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic. Search on Bibsonomy TABLEAUX The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
47Raul H. C. Lopes, Mark Tarver Inducing Theorem Provers from Proofs. Search on Bibsonomy ICTAI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF theorem prover induction, automatic theorem prover generation, proof examples, intuitionistic propositional calculus, depth-first search strategy, loop detection, inductive generalization, machine learning, theorem proving
45Sriipriya G Implementation methodology for using concurrent and collaborative approaches for theorem provers, with case studies of SAT and LCF style provers. Search on Bibsonomy 2013   RDF
44Perry R. James, Patrice Chalin Extended static checking in JML4: benefits of multiple-prover support. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF ESC, ESC4, JML4, theorem provers, Java modeling language, static verification, extended static checking
44Willem C. Mallon, Jan Tijmen Udding Using Metrics for Proof Rules for Recursively Defined Delay-insensitive Specifications. Search on Bibsonomy ASYNC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF delay-insensitive specifications, recursive definition, linear proofs, intuitive induction rule, algebraic specification, algebraic specifications, theorem provers, correctness proofs, proof rules, proof rule
44Keith Vanderveen, C. V. Ramamoorthy Anytime Reasoning in First-Order Logic. Search on Bibsonomy ICTAI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF anytime reasoning, best-effort answers, bounded reasoning resources, S/sub 1/ approximation, S/sub 3/ approximation, most likely solution, first-order logic, formal logic, theorem provers, algorithm performance
44Shiu-Kai Chin, John Faust, Joseph Giordano Integrating formal methods tools to support system design. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF formal methods tools integration, top-level process descriptions, gate-level hardware designs, simulators, formal specification, system design, specification languages, specification languages, systems analysis, system engineering, theorem-provers, computer-aided design tools, model checkers
44Pavel Vanousek Automated Theorem Proving in a Combination of Theories with Disjoint Signatures. Search on Bibsonomy SOFSEM The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
44Mark E. Stickel Building Theorem Provers. Search on Bibsonomy CADE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
44Ricardo Caferra, Michel Herment GLEFATINF: A Graphic Framework for Combining Theorem Provers and Editing Proofs for Different Logics. Search on Bibsonomy DISCO The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Graphic Proof Presentation, Proof Edition, Logical Frameworks
42Myla Archer, Constance L. Heitmeyer Human-Style Theorem Proving Using PVS. Search on Bibsonomy TPHOLs The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
40Karen Zee, Viktor Kuncak, Martin C. Rinard Full functional verification of linked data structures. Search on Bibsonomy PLDI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF java, verification, data structure, decision procedure, theorem prover
40Sagar Chaki SAT-Based Software Certification. Search on Bibsonomy TACAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
40Byron Cook, Daniel Kroening, Natasha Sharygina Accurate Theorem Proving for Program Verification. Search on Bibsonomy ISoLA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Ingo Dahn Interpretation of a Mizar-Like Logic in First-Order Logic. Search on Bibsonomy FTP (LNCS Selection) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
40Hicham Bensaid, Ricardo Caferra, Nicolas Peltier Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps. Search on Bibsonomy WoLLIC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
40Jan Jürjens Security Analysis of Crypto-based Java Programs using Automated Theorem Provers. Search on Bibsonomy ASE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
40Jan Jürjens Code Security Analysis of a Biometric Authentication System Using Automated Theorem Provers. Search on Bibsonomy ACSAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
40Josef Urban Translating Mizar for First Order Theorem Provers. Search on Bibsonomy MKM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
40Marco Devillers, W. O. David Griffioen, Olaf Müller Possibly Infinite Sequences in Theorem Provers: A Comparative Study. Search on Bibsonomy TPHOLs The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
39Deepak Kapur, Balakrishnan Krishnamurthy A Natural Proof System Based on rewriting Techniques. Search on Bibsonomy CADE The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
35David S. Hardin, Matthew Wilding, David A. Greve Transforming the Theorem Prover into a Digital Design Tool: From Concept Car to Off-Road Vehicle. Search on Bibsonomy CAV The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
35D. Andre de Waal, John P. Gallagher The Applicability of Logic Program Analysis and Transformation to Theorem Proving. Search on Bibsonomy CADE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
34Mark E. Stickel Automated theorem-proving research in the Fifth Generation Computer Systems Project: Model generation theorem provers. Search on Bibsonomy Future Gener. Comput. Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
32Jason Hickey, Aleksey Nogin Fast Tactic-Based Theorem Proving. Search on Bibsonomy TPHOLs The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
31Jasmin Christian Blanchette Proof Pearl: Mechanizing the Textbook Proof of Huffman's Algorithm. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Interactive theorem provers, Huffman coding, Higher-order logic
31Carl Eastlund, Matthias Felleisen Making induction manifest in modular ACL2. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF theorem provers, acl2, module systems
31Jia Meng, Lawrence C. Paulson Translating Higher-Order Clauses to First-Order Clauses. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Interactive theorem provers, Clause translation, First-order logic, Higher-order logic
31Christian Urban Nominal Techniques in Isabelle/HOL. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Nominal logic work, Lambda-calculus, Theorem provers
31J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server. Search on Bibsonomy AISC/MKM/Calculemus The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Formal methods, functional programming, software verification, real-world applications, theorem provers
31Carsten Fuhs, Rafael Navarro-Marset, Carsten Otto, Jürgen Giesl, Salvador Lucas, Peter Schneider-Kamp Search Techniques for Rational Polynomial Orders. Search on Bibsonomy AISC/MKM/Calculemus The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Topics computer algebra systems and automated theorem provers, implementation and performance issues
31Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub Building Decision Procedures in the Calculus of Inductive Constructions. Search on Bibsonomy CSL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Calculus of Inductive Constructions, Decision procedures, Theorem provers
31Frits W. Vaandrager, Adriaan de Groot Analysis of a biphase mark protocol with Uppaaland PVS. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Biphase mark protocol, Model checking, Formal methods, Timed automata, Theorem provers
31Alexander Koller, Ralph Debusmann, Malte Gabsdil, Kristina Striegnitz Put My Galakmid Coin into the Dispenser and Kick It: Computational Linguistics and Theorem Proving in a Computer Game. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF text adventures, generation, description logic, parsing, theorem provers, reference resolution, dependency grammar
31Edwin D. de Jong, Jaco van de Pol, Jozef Hooman Refinement in Requirements Specification and Analysis: A Case Study. Search on Bibsonomy ECBS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF requirements specification and analysis, formal methods, refinement, theorem provers
31Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens Two Approaches towards the Formalisation of VDM. Search on Bibsonomy VDM Europe The full citation details ... 1990 DBLP  DOI  BibTeX  RDF formalisation of VDM, automated support of formal methods, theorem provers
31Geoff Sutcliffe TPTP, TSTP, CASC, etc. Search on Bibsonomy CSR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31Byron Cook, Daniel Kroening, Natasha Sharygina Cogent: Accurate Theorem Proving for Program Verification. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31John Harrison 0001 Formal Verification at Intel. Search on Bibsonomy LICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
31David Déharbe, Silvio Ranise Light-Weight Theorem Proving for Debugging and Verifying Units of Code. Search on Bibsonomy SEFM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
31Stephan Kepser, Jörn Richts UNIMOK: A System for Combining Equational Unification Algorithm. Search on Bibsonomy RTA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
31Dirk Fuchs Requirement-Based Cooperative Theorem Proving. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
31Wolfgang Ertel OR-Parallel Theorem Proving with Random Competition. Search on Bibsonomy LPAR The full citation details ... 1992 DBLP  DOI  BibTeX  RDF random competition, SETHEO, theorem proving, speedup, OR-parallelism, random search, model elimination
29Shiu-Kai Chin, Edward P. Stabler Synthesis of arithmetic hardware using hardware metafunctions. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
27Christoph Benzmüller, Lawrence C. Paulson, Frank Theiss, Arnaud Fietzke LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description). Search on Bibsonomy IJCAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Renate A. Schmidt, Ullrich Hustadt The axiomatic translation principle for modal logic. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Translation approach, small model property, completeness, decidability
27Simon Colton, Stephen H. Muggleton Mathematical applications of inductive logic programming. Search on Bibsonomy Mach. Learn. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin An Open Extensible Tool Environment for Event-B. Search on Bibsonomy ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Alessandro Armando, Luca Compagna, Silvio Ranise Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation. Search on Bibsonomy Mechanizing Mathematical Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Jia Meng, Lawrence C. Paulson Experiments on Supporting Interactive Proof Using Resolution. Search on Bibsonomy IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Jürgen Giesl, Armin Kühnemann, Janis Voigtländer Deaccumulation - Improving Provability. Search on Bibsonomy ASIAN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Anna Formica Finite Satisfiability of Integrity Constraints in Object-Oriented Database Schemas. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF constraint satisfiability (consistency), recursive schemas, axioms of infinity, equality constraints, object-oriented databases
27Andreas Meier 0002, Volker Sorge, Simon Colton Employing Theory Formation to Guide Proof Planning. Search on Bibsonomy AISC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27Thomas Baar, Ekkart Kindler, Hagen Völzer Verifying Intuition - ILF Checks DAWN Proofs. Search on Bibsonomy ICATPN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
27Douglas J. Howe Interactive Theorem Proving Using Type Theory. Search on Bibsonomy CSL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
27Deepak Kapur, Mahadevan Subramaniam Mechanizing Reasoning about Large Finite Tables in a Rewrite Based Theorem Prover. Search on Bibsonomy ASIAN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
27Dirk Fuchs Coupling Saturation-Based Provers by Exchanging Positive/Negative Information. Search on Bibsonomy RTA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
27Heribert Schütz, Tim Geisler Efficient Model Generation through Compilation. Search on Bibsonomy CADE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
27Andreas Nonnengart Resolution-Based Calculi for Modal and Temporal Logics. Search on Bibsonomy CADE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
27Geoff Sutcliffe, Christian B. Suttner, Theodor Yemenis The TPTP Problem Library. Search on Bibsonomy CADE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
27Joe W. Duran Heuristics for program synthesis using loop invariants. Search on Bibsonomy ACM Annual Conference (2) The full citation details ... 1978 DBLP  DOI  BibTeX  RDF Automatic programming, Program synthesis, Program correctness, Loop invariants
26Mohammad Abdulaziz Interactive Theorem Provers: Applications in AI, Opportunities, and Challenges. Search on Bibsonomy AAAI The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
26Thibault Gauthier, Chad E. Brown, Mikolas Janota, Josef Urban A Mathematical Benchmark for Inductive Theorem Provers. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Thibault Gauthier, Chad E. Brown, Mikolas Janota, Josef Urban A Mathematical Benchmark for Inductive Theorem Provers. Search on Bibsonomy LPAR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Albert Qiaochu Jiang, Sean Welleck, Jin Peng Zhou, Timothée Lacroix, Jiacheng Liu 0010, Wenda Li, Mateja Jamnik, Guillaume Lample, Yuhuai Wu Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs. Search on Bibsonomy ICLR The full citation details ... 2023 DBLP  BibTeX  RDF
26Antoine Defourné Encodages de la théorie des ensembles de TLA+ pour la preuve automatique. (Encoding TLA+'s Set Theory for Automated Theorem Provers). Search on Bibsonomy 2023   RDF
26Alex Kontorovich Foreword to: Special Issue on Interactive Theorem Provers. Search on Bibsonomy Exp. Math. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
26Albert Q. Jiang, Wenda Li, Szymon Tworkowski, Konrad Czechowski, Tomasz Odrzygózdz, Piotr Milos, Yuhuai Wu, Mateja Jamnik Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 602 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license