• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 208 matches

• 2021
• 
  Cheuk Ting Li:
  An Automated Theorem Proving Framework for Information-Theoretic Results. CoRR abs/2101.12370 (2021)
• 2020
• 
  Agnieszka Slowik, Chaitanya Mangla, Mateja Jamnik, Sean B. Holden, Lawrence C. Paulson:
  Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract). AAAI 2020: 13919-13920
• 
  Guangshuai Mo, Yan Xiong, Wenchao Huang, Lu Ma:
  Automated Theorem Proving via Interacting with Proof Assistants by Dynamic Strategies. BigCom 2020: 71-75
• 
  Stephan Schulz, Adam Pease:
  Teaching Automated Theorem Proving by Example: PyRes 1.2 - (System Description). IJCAR (2) 2020: 158-166
• 
  Ibrahim Abdelaziz, Veronika Thost, Maxwell Crouse, Achille Fokoue:
  An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order Logic. CoRR abs/2002.00423 (2020)
• 
  Stanislas Polu, Ilya Sutskever:
  Generative Language Modeling for Automated Theorem Proving. CoRR abs/2009.03393 (2020)
• 2019
• 
  Geoff Sutcliffe:
  The CADE-27 Automated theorem proving System Competition - CASC-27. AI Commun. 32(5-6): 373-389 (2019)
• 
  Hongbo Li:
  Automated Theorem Proving Practice with Null Geometric Algebra. J. Syst. Sci. Complex. 32(1): 95-123 (2019)
• 
  Katrine Thoft, Nina Gierasimczuk:
  Cognitive Complexity of Logical Reasoning in Games: Automated Theorem Proving Perspective. CogSci 2019: 3370
• 
  Gabriel Ebner:
  Herbrand Constructivization for Automated Intuitionistic Theorem Proving. TABLEAUX 2019: 355-373
• 
  John Hester:
  Automated ZFC Theorem Proving with E. CoRR abs/1902.00818 (2019)
• 2018
• 
  Geoff Sutcliffe:
  The 9th IJCAR Automated Theorem Proving System Competition - CASC-J9. AI Commun. 31(6): 495-507 (2018)
• 
  Zoltán Kovács:
  Finding and Proving New Geometry Theorems in Regular Polygons with Dynamic Geometry and Automated Reasoning Tools. CICM 2018: 164-177
• 
  Michael Kinyon:
  Proof Simplification and Automated Theorem Proving. CoRR abs/1808.04251 (2018)
• 
  Mitsuru Kusumoto, Keisuke Yahata, Masahiro Sakai:
  Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning. CoRR abs/1811.00796 (2018)
• 2017
• 
  Geoff Sutcliffe:
  The CADE-26 automated theorem proving system competition - CASC-26. AI Commun. 30(6): 419-432 (2017)
• 
  Jie Zhou, Dingkang Wang, Yao Sun:
  Automated Reducible Geometric Theorem Proving and Discovery by Gröbner Basis Method. J. Autom. Reason. 59(3): 331-344 (2017)
• 
  Maciej Janowicz, Luiza Ochnio, Leszek J. Chmielewski, Arkadiusz Orlowski:
  Application of Automated Theorem-Proving to Philosophical Thought: Spinoza's Ethics. ICISA 2017: 512-518
• 
  Kebin Peng, Dianfu Ma:
  Tree-Structure CNN for Automated Theorem Proving. ICONIP (2) 2017: 3-12
• 
  Moa Johansson:
  Automated Theory Exploration for Interactive Theorem Proving: - An Introduction to the Hipster System. ITP 2017: 1-11
• 
  Jens Otten, Wolfgang Bibel:
  Advances in Connection-Based Automated Theorem Proving. Provably Correct Systems 2017: 211-241
• 2016
• 
  Amirhossein Vakili:
  Temporal Logic Model Checking as Automated Theorem Proving. University of Waterloo, Ontario, Canada, 2016
• 
  Geoff Sutcliffe:
  The 8th IJCAR automated theorem proving system competition - CASC-J8. AI Commun. 29(5): 607-619 (2016)
• 
  Geoff Sutcliffe, Josef Urban:
  The CADE-25 Automated Theorem Proving system competition - CASC-25. AI Commun. 29(3): 423-433 (2016)
• 
  Karim Kanso, Anton Setzer:
  A light-weight integration of automated and interactive theorem proving. Math. Struct. Comput. Sci. 26(1): 129-153 (2016)
• 
  Eugen Kuksa, Till Mossakowski:
  Prover-independent Axiom Selection for Automated Theorem Proving in Ontohub. PAAR@IJCAR 2016: 56-68
• 
  Marek Janasz:
  Automated theorem proving for elementary geometry. FM4M/MathUI/ThEdu/DP/WIP@CIKM 2016: 97
• 
  Max Wisniewski, Christoph Benzmüller:
  Is It Reasonable to Employ Agents in Automated Theorem Proving?. ICAART (1) 2016: 281-286
• 
  Dohan Kim:
  Distributed agent-based automated theorem proving in order-sorted first-order logic. CoRR abs/1609.02320 (2016)
• 2015
• 
  Geoff Sutcliffe:
  The 7th IJCAR automated theorem proving system competition - CASC-J7. AI Commun. 28(4): 683-692 (2015)

skipping 178 more matches