Results 141 to 150 of about 39,214 (275)
An Empirical Assessment of Progress in Automated Theorem Proving [PDF]
Geoff Sutcliffe +4 more
openalex +1 more source
Automated Theorem Proving: A Review
, 2002 Review of Automated Theorem Proving: Theory and Practice, by Monty Newborn, Berlin, Springer-Verlag, 231 pp., $54.95. ISBN 0-387-95075-3.
openaire +1 more source
MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems? [PDF]
Zhitao He +4 more
openalex +1 more source
An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations [PDF]
, 2023 Achille Fokoue +7 more
openalex +1 more source
A Coq-Based Library for Interactive and Automated Theorem Proving in Plane Geometry
, 2011 Tuan-Minh Pham +2 more
openalex +2 more sources
Local Look-Ahead Guidance via Verifier-in-the-Loop for Automated Theorem Proving [PDF]
Sara Rajaee +3 more
openalex +3 more sources
A MacMahon analysis view of cylindric partitions. [PDF]
Ramanujan JLi R, Uncu AK.
europepmc +1 more source
Deliver an automated reasoning system, as an extension to Vampire/Deepire, that can reason over the CoreSense HOL ontology and is optimized for it. This will include machine learning extensions and optimized strategies for higher-order Vampire, as well as extensions for reasoning with the closed world assumption and various modal logic and temporal ...
openaire +1 more source
Formal verification of bioinformatics software using model checking and theorem proving. [PDF]
Brief BioinformWeerasena H +3 more
europepmc +1 more source