:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Aksenov, Vitaly, Bodnia, Eve, Freedman, Michael H., Mulligan, Michael
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Artificial Intelligence Logic
Online-Zugang:	https://arxiv.org/abs/2603.20396
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Artificial Intelligence and the Structure of Mathematics
von: Barkeshli, Maissam, et al.
Veröffentlicht: (2026)

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

Computational Dualism and Objective Superintelligence
von: Bennett, Michael Timothy
Veröffentlicht: (2023)

Llemma: An Open Language Model For Mathematics
von: Azerbayev, Zhangir, et al.
Veröffentlicht: (2023)

TOGGLE: Temporal Logic-Guided Large Language Model Compression for Edge
von: Khalil, Khurram, et al.
Veröffentlicht: (2025)

Learning Formal Mathematics From Intrinsic Motivation
von: Poesia, Gabriel, et al.
Veröffentlicht: (2024)

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

One is all you need: Second-order Unification without First-order Variables
von: Cerna, David M., et al.
Veröffentlicht: (2024)

The Optimal Choice of Hypothesis Is the Weakest, Not the Shortest
von: Bennett, Michael Timothy
Veröffentlicht: (2023)

When Agda met Vampire
von: Šinkarovs, Artjoms, et al.
Veröffentlicht: (2026)

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
von: Bartholomew, Michael, et al.
Veröffentlicht: (2025)

Formal Mathematical Reasoning: A New Frontier in AI
von: Yang, Kaiyu, et al.
Veröffentlicht: (2024)

MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics
von: Liu, Xinyu, et al.
Veröffentlicht: (2026)

Risk-Controlled Lean-as-Judge for Natural-Language Mathematical Reasoning
von: Bourigault, Pauline, et al.
Veröffentlicht: (2026)

Propaganda is all you need
von: Kronlund-Drouault, Paul
Veröffentlicht: (2024)

Superposition with Delayed Unification
von: Bhayat, Ahmed, et al.
Veröffentlicht: (2024)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
von: Bourgaux, Camille, et al.
Veröffentlicht: (2025)

All you need is $\mathbf{A}_κ$
von: Bannister, Nathaniel
Veröffentlicht: (2025)

The logic of KM belief update is contained in the logic of AGM belief revision
von: Bonanno, Giacomo
Veröffentlicht: (2026)

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

Abductive Reasoning in a Paraconsistent Framework
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
von: Joyce, Johnny
Veröffentlicht: (2025)

Dynamic Logic of Trust-Based Beliefs
von: Jiang, Junli, et al.
Veröffentlicht: (2025)

Similarity-based analogical proportions
von: Antić, Christian
Veröffentlicht: (2024)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
von: Xu, Yang, et al.
Veröffentlicht: (2025)

Lemmas: Generation, Selection, Application
von: Rawson, Michael, et al.
Veröffentlicht: (2023)

MathlibPR: Pull Request Merge-Readiness Benchmark for Formal Mathematical Libraries
von: Xie, Zixuan, et al.
Veröffentlicht: (2026)

Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
von: Cao, Chuxue, et al.
Veröffentlicht: (2025)

3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes
von: Lamont, Sean, et al.
Veröffentlicht: (2024)

Constraint-aware Learning of Probabilistic Sequential Models for Multi-Label Classification
von: Buleshnyi, Mykhailo, et al.
Veröffentlicht: (2025)

From Blind Solvers to Logical Thinkers: Benchmarking LLMs' Logical Integrity on Faulty Mathematical Problems
von: Rahman, A M Muntasir, et al.
Veröffentlicht: (2024)

PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
von: Tsoukalas, George, et al.
Veröffentlicht: (2024)

LeanTutor: Towards a Verified AI Mathematical Proof Tutor
von: Patel, Manooshree, et al.
Veröffentlicht: (2025)

Queries With Exact Truth Values in Paraconsistent Description Logics
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

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

Mathematics with large language models as provers and verifiers
von: Duc, Hieu Le, et al.
Veröffentlicht: (2025)

REL: Working out is all you need
von: Simonds, Toby, et al.
Veröffentlicht: (2024)

Geometry of Reason: Spectral Signatures of Valid Mathematical Reasoning
von: Noël, Valentin
Veröffentlicht: (2026)

Bolzano: Case Studies in LLM-Assisted Mathematical Research
von: Balko, Martin, et al.
Veröffentlicht: (2026)

An Expansion-Based Approach for Quantified Integer Programming
von: Hartisch, Michael, et al.
Veröffentlicht: (2025)