Premise Selection for Theorem Proving by Deep Graph Embedding

Mingzhe Wang, Yihe Tang, Jian Wang, Jia Deng

Nov-21-2025, 05:13:40 GMT–Neural Information Processing Systems

We represent a higher-order logic formula as a graph that is invariant to variable renaming but still fully preserves syntactic and semantic information.

logic & formal reasoning, machine learning, natural language, (20 more...)

Neural Information Processing Systems

Nov-21-2025, 05:13:40 GMT

Conferences PDF

Country:
- North America > United States > Michigan > Washtenaw County > Ann Arbor (0.04)

Genre:
- Research Report (0.68)
- Workflow (0.46)

Industry:
- Education (0.46)

Technology:
- Information Technology > Artificial Intelligence
  - Cognitive Science (0.93)
  - Machine Learning > Neural Networks
    - Deep Learning (1.00)
  - Natural Language (1.00)
  - Representation & Reasoning > Logic & Formal Reasoning (1.00)

Duplicate Docs Excel Report

Title
Premise Selection for Theorem Proving by Deep Graph Embedding
Premise Selection for Theorem Proving by Deep Graph Embedding

Similar Docs Excel Report more

Title	Similarity	Source
None found