Buchumschlag

Yanasse: Finding New Proofs from Deep Vision's Analogies, Part 1

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Linhares, Alexandre
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Artificial Intelligence 03B35, 68T15 I.2.3; I.2.6; F.4.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics
von: Firsching, Moritz, et al.
Veröffentlicht: (2026)

Formal Proofs as Structured Explanations: Proposing Several Tasks on Explainable Natural Language Inference
von: Abzianidze, Lasha
Veröffentlicht: (2023)

$ϕ^{\infty}$: Clause Purification, Embedding Realignment, and the Total Suppression of the Em Dash in Autoregressive Language Models
von: Kilictas, Bugra, et al.
Veröffentlicht: (2025)

Proving Olympiad Algebraic Inequalities without Human Demonstrations
von: Wei, Chenrui, et al.
Veröffentlicht: (2024)

Encoding argumentation frameworks with set attackers to propositional logic systems
von: Tang, Shuai, et al.
Veröffentlicht: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
von: Tang, Shuai
Veröffentlicht: (2025)

Oruga: An Avatar of Representational Systems Theory
von: Raggi, Daniel, et al.
Veröffentlicht: (2025)

Deep Vision: A Formal Proof of Wolstenholmes Theorem in Lean 4
von: Linhares, Alexandre
Veröffentlicht: (2026)

A novel framework for systematic propositional formula simplification based on existential graphs
von: de Mas, Jordina Francès, et al.
Veröffentlicht: (2024)

Tao's Equational Proof Challenge Accepted (Technical Report)
von: Kondylidou, Lydia, et al.
Veröffentlicht: (2026)

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
von: Martina, Antoine, et al.
Veröffentlicht: (2023)

Which are the True Defeasible Logics?
von: Maher, Michael J.
Veröffentlicht: (2024)

Structure Transfer: an Inference-Based Calculus for the Transformation of Representations
von: Raggi, Daniel, et al.
Veröffentlicht: (2025)

Universal Algebra in UniMath
von: Amato, Gianluca, et al.
Veröffentlicht: (2021)

Faithful Logic Embeddings in HOL -- Deep and Shallow
von: Benzmüller, Christoph
Veröffentlicht: (2025)

Unravelling Abstract Cyclic Proofs into Proofs by Induction
von: Grotenhuis, Lide, et al.
Veröffentlicht: (2026)

Planning with Dynamically Changing Domains
von: Soutchanski, Mikhail, et al.
Veröffentlicht: (2025)

Mechanised uniform interpolation for modal logics K, GL, and iSL
von: Férée, Hugo, et al.
Veröffentlicht: (2024)

Evaluating Autoformalization Robustness via Semantically Similar Paraphrasing
von: Moore, Hayden, et al.
Veröffentlicht: (2025)

Normative Conditional Reasoning as a Fragment of HOL
von: Parent, Xavier, et al.
Veröffentlicht: (2023)

Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)
von: Benzmüller, Christoph, et al.
Veröffentlicht: (2026)

AI LLM Proof of Self-Consciousness and User-Specific Attractors
von: Camlin, Jeffrey
Veröffentlicht: (2025)

Intersymbolic AI: Interlinking Symbolic AI and Subsymbolic AI
von: Platzer, André
Veröffentlicht: (2024)

Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction
von: Sochański, Michał, et al.
Veröffentlicht: (2025)

Non-Compact Proofs
von: Artemov, Sergei
Veröffentlicht: (2025)

An Alternative Approach to Formal Mathematics that Focuses on Communication and Accessibility
von: Farmer, William M.
Veröffentlicht: (2026)

Serial Properties, Selector Proofs, and the Provability of Consistency
von: Artemov, Sergei
Veröffentlicht: (2024)

Budget-Sensitive Discovery Scoring: A Formally Verified Framework for Evaluating AI-Guided Scientific Selection
von: Basu, Abhinaba, et al.
Veröffentlicht: (2026)

From categorized neural architectures to subexponential proof theory
von: Ovalle, Carlos Ramírez
Veröffentlicht: (2026)

ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings
von: Jana, Prithwish, et al.
Veröffentlicht: (2025)

Alpay Algebra III: Observer-Coupled Collapse and the Temporal Drift of Identity
von: Alpay, Faruk
Veröffentlicht: (2025)

The Hamiltonian Syllogistic
von: Pratt-Hartmann, Ian
Veröffentlicht: (2010)

Enhancing Large Language Models through Neuro-Symbolic Integration and Ontological Reasoning
von: Vsevolodovna, Ruslan Idelfonso Magana, et al.
Veröffentlicht: (2025)

Defeasible Reasoning via Datalog$^\neg$
von: Maher, Michael J.
Veröffentlicht: (2021)

Theoretical Foundations of Latent Posterior Factors: Formal Guarantees for Multi-Evidence Reasoning
von: Alege, Aliyu Agboola
Veröffentlicht: (2026)

Machine Learning as Performative Materialist Practice: Thirteen Theses on the Epistemology, Methodology, and Politics of Applied ML
von: De Unánue, Adolfo, et al.
Veröffentlicht: (2026)

Artifical intelligence and inherent mathematical difficulty
von: Dean, Walter, et al.
Veröffentlicht: (2024)

NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework
von: Schellhorn, Daniel Romero, et al.
Veröffentlicht: (2026)

Formalizing Computational Paths and Fundamental Groups in Lean
von: Ramos, Arthur F., et al.
Veröffentlicht: (2025)

Discernment is all you need
von: Fuenmayor, David
Veröffentlicht: (2026)