Image de couverture de livre

Artifical intelligence and inherent mathematical difficulty

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Dean, Walter, Naibo, Alberto
Format:	Preprint
Publié:	2024
Sujets:	History and Overview Artificial Intelligence Computational Complexity Logic 03B35, 68V05, 68V15, 68T01 F.2.2; F.4.0; I.2.0; I.2.3; K.2
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Chain Bounding, the leanest proof of Zorn's lemma, and an illustration of computerized proof formalization
par: Incatasciato, Guillermo L., et autres
Publié: (2024)

An Alternative Approach to Formal Mathematics that Focuses on Communication and Accessibility
par: Farmer, William M.
Publié: (2026)

Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics
par: Firsching, Moritz, et autres
Publié: (2026)

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
par: Martina, Antoine, et autres
Publié: (2023)

Mechanised uniform interpolation for modal logics K, GL, and iSL
par: Férée, Hugo, et autres
Publié: (2024)

A novel framework for systematic propositional formula simplification based on existential graphs
par: de Mas, Jordina Francès, et autres
Publié: (2024)

Intersymbolic AI: Interlinking Symbolic AI and Subsymbolic AI
par: Platzer, André
Publié: (2024)

Anatomy of a Formal Proof
par: Avigad, Jeremy, et autres
Publié: (2024)

Normative Conditional Reasoning as a Fragment of HOL
par: Parent, Xavier, et autres
Publié: (2023)

State Canonization and Early Pruning in Width-Based Automated Theorem Proving
par: Oliveira, Mateus de Oliveira, et autres
Publié: (2026)

Algorithm and abstraction in formal mathematics
par: Macbeth, Heather
Publié: (2024)

Dominic Welsh: his work and influence
par: Farr, Graham, et autres
Publié: (2024)

Universal Algebra in UniMath
par: Amato, Gianluca, et autres
Publié: (2021)

Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium
par: Ilin, Vasily
Publié: (2026)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
par: Farmer, William M., et autres
Publié: (2023)

Exploiting Web Search Tools of AI Agents for Data Exfiltration
par: Rall, Dennis, et autres
Publié: (2025)

Machine Learning as Performative Materialist Practice: Thirteen Theses on the Epistemology, Methodology, and Politics of Applied ML
par: De Unánue, Adolfo, et autres
Publié: (2026)

Reasoning aligns language models to human cognition
par: Guiomar, Gonçalo, et autres
Publié: (2026)

Logical Modalities within the European AI Act: An Analysis
par: Lawniczak, Lara, et autres
Publié: (2025)

Oruga: An Avatar of Representational Systems Theory
par: Raggi, Daniel, et autres
Publié: (2025)

Approximating Discrimination Within Models When Faced With Several Non-Binary Sensitive Attributes
par: Bian, Yijun, et autres
Publié: (2024)

Does Machine Bring in Extra Bias in Learning? Approximating Fairness in Models Promptly
par: Bian, Yijun, et autres
Publié: (2024)

The Optimizer Quotient and the Certification Trilemma
par: Simas, Tristan
Publié: (2026)

Higher-Order Pattern Unification Modulo Similarity Relations
par: Dundua, Besik, et autres
Publié: (2025)

Curved Boolean Logic: A Contextual Generalization of Propositional Logic with Algorithmic Consequences
par: von Liechtenstein, Maximilian R. P.
Publié: (2025)

Deep Vision: A Formal Proof of Wolstenholmes Theorem in Lean 4
par: Linhares, Alexandre
Publié: (2026)

A Modular First Formalisation of Combinatorial Design Theory
par: Edmonds, Chelsea, et autres
Publié: (2021)

A Theoretical Computer Science Perspective on Free Will
par: Blum, Manuel, et autres
Publié: (2022)

Murphys Laws of AI Alignment: Why the Gap Always Wins
par: Gaikwad, Madhava
Publié: (2025)

Cognitive Castes: Artificial Intelligence, Epistemic Stratification, and the Dissolution of Democratic Discourse
par: Wright, Craig S
Publié: (2025)

An Efficient Algorithm for Generalized Polynomial Partitioning and Its Applications
par: Agarwal, Pankaj K., et autres
Publié: (2018)

Combining Mechanical and Agentic Specification Inference for Move
par: Grieskamp, Wolfgang, et autres
Publié: (2026)

Structure Transfer: an Inference-Based Calculus for the Transformation of Representations
par: Raggi, Daniel, et autres
Publié: (2025)

Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma
par: Edmonds, Chelsea, et autres
Publié: (2023)

Encoding argumentation frameworks with set attackers to propositional logic systems
par: Tang, Shuai, et autres
Publié: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
par: Tang, Shuai
Publié: (2025)

Interpretation, Learning, and Empathy as One Constraint: A Residual-Adequacy Architecture with Accountable Abstention
par: Amornbunchornvej, Chainarong
Publié: (2026)

Formally Verified Patent Analysis via Dependent Type Theory: Machine-Checkable Certificates from a Hybrid AI + Lean 4 Pipeline
par: Koomullil, George
Publié: (2026)

LemmaBench: A Live, Research-Level Benchmark to Evaluate LLM Capabilities in Mathematics
par: Peyronnet, Antoine, et autres
Publié: (2026)

SUBMASSIVE: Resolving Subclass Cycles in Very Large Knowledge Graphs
par: Wang, Shuai, et autres
Publié: (2024)