Imagen de Portada

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Xu, Yang, Liu, Peiyao, Chen, Shuwei, Liu, Jun
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science Artificial Intelligence Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Extended Triangular Method: A Generalized Algorithm for Contradiction Separation Based Automated Deduction
por: Xu, Yang, et al.
Publicado: (2025)

Contradictions
por: Xu, Yang, et al.
Publicado: (2025)

Dynamic Automated Deduction by Contradiction Separation: The Standard Extension Algorithm
por: Xu, Yang, et al.
Publicado: (2025)

Delta1 with LLM: symbolic and neural integration for credible and explainable reasoning
por: Xu, Yang, et al.
Publicado: (2026)

Partial Label Learning for Automated Theorem Proving
por: Zombori, Zsolt, et al.
Publicado: (2025)

MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification
por: Li, Sirui, et al.
Publicado: (2025)

Dynamic Logic of Trust-Based Beliefs
por: Jiang, Junli, et al.
Publicado: (2025)

Knowledge Base Embeddings: Semantics and Theoretical Properties
por: Bourgaux, Camille, et al.
Publicado: (2024)

Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
por: Liu, Chengwu, et al.
Publicado: (2026)

TaoBench: Do Automated Theorem Prover LLMs Generalize Beyond MathLib?
por: Taylor, Alexander K, et al.
Publicado: (2026)

Generating Millions Of Lean Theorems With Proofs By Exploring State Transition Graphs
por: Yin, David, et al.
Publicado: (2025)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
por: Lyon, Tim S., et al.
Publicado: (2024)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
por: Bloch, Isabelle, et al.
Publicado: (2025)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
por: Joyce, Johnny
Publicado: (2025)

Abductive Reasoning in a Paraconsistent Framework
por: Bienvenu, Meghyn, et al.
Publicado: (2024)

The logic of KM belief update is contained in the logic of AGM belief revision
por: Bonanno, Giacomo
Publicado: (2026)

Similarity-based analogical proportions
por: Antić, Christian
Publicado: (2024)

Vibe Coding an LLM-powered Theorem Prover
por: Hou, Zhe
Publicado: (2026)

Automated Process Planning Based on a Semantic Capability Model and SMT
por: Köcher, Aljosha, et al.
Publicado: (2023)

Proof Recommendation System for the HOL4 Theorem Prover
por: Dekhil, Nour, et al.
Publicado: (2024)

Logic Synthesis with Generative Deep Neural Networks
por: Li, Xihan, et al.
Publicado: (2024)

3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes
por: Lamont, Sean, et al.
Publicado: (2024)

Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications
por: Gamboa, Ruben, et al.
Publicado: (2025)

Queries With Exact Truth Values in Paraconsistent Description Logics
por: Bienvenu, Meghyn, et al.
Publicado: (2024)

Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code
por: Florath, Andreas
Publicado: (2024)

Hybrid Answer Set Programming: Foundations and Applications
por: Rühling, Nicolas
Publicado: (2025)

Capability Safety as Datalog: A Foundational Equivalence
por: Spera, Cosimo
Publicado: (2026)

Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs
por: Zhang, Terry Jingchen, et al.
Publicado: (2025)

Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria
por: Nikooroo, Saleh, et al.
Publicado: (2025)

Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
por: Liu, Qi, et al.
Publicado: (2025)

On Probabilistic and Causal Reasoning with Summation Operators
por: Ibeling, Duligur, et al.
Publicado: (2024)

Defining implication relation for classical logic
por: Fu, Li
Publicado: (2013)

Laurel: Unblocking Automated Verification with Large Language Models
por: Mugnier, Eric, et al.
Publicado: (2024)

Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
por: Cao, Chuxue, et al.
Publicado: (2025)

Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
por: Beiser, Alexander, et al.
Publicado: (2025)

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
por: Ospanov, Azim, et al.
Publicado: (2025)

Information Science Principles of Machine Learning: A Causal Chain Meta-Framework Based on Formalized Information Mapping
por: Xu, Jianfeng
Publicado: (2025)

Automated planning with ontologies under coherence update semantics (Extended Version)
por: Borgwardt, Stefan, et al.
Publicado: (2025)

Automated Verification of Equivalence Properties in Advanced Logic Programs -- Bachelor Thesis
por: Heuer, Jan
Publicado: (2023)

Learning First-Order Rules with Relational Path Contrast for Inductive Relation Reasoning
por: Pan, Yudai, et al.
Publicado: (2021)