:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Alcântara, João, Cordeiro, Renan, Sá, Samy
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Artificial Intelligence I.2.3
Online-Zugang:	https://arxiv.org/abs/2407.05538
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The Stable Model Semantics for Higher-Order Logic Programming
von: Bogaerts, Bart, et al.
Veröffentlicht: (2024)

NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models
von: Putra, Rizky Ramadhana, et al.
Veröffentlicht: (2026)

The Cardinality of Identifying Code Sets for Soccer Ball Graph with Application to Remote Sensing
von: Latour, Anna L. D., et al.
Veröffentlicht: (2024)

Earthfarseer: Versatile Spatio-Temporal Dynamical Systems Modeling in One Model
von: Wu, Hao, et al.
Veröffentlicht: (2023)

Logic.py: Bridging the Gap between LLMs and Constraint Solvers
von: Kesseli, Pascal, et al.
Veröffentlicht: (2025)

Advancing Natural Language Formalization to First Order Logic with Fine-tuned LLMs
von: Vossel, Felix, et al.
Veröffentlicht: (2025)

Solving Quantified Modal Logic Problems by Translation to Classical Logics
von: Steen, Alexander, et al.
Veröffentlicht: (2022)

A Reduction of Input/Output Logics to SAT
von: Steen, Alexander
Veröffentlicht: (2025)

LLM-Assisted Formalization Enables Deterministic Detection of Statutory Inconsistency in the Internal Revenue Code
von: Yadamsuren, Borchuluun, et al.
Veröffentlicht: (2025)

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
von: Thompson, Kyle, et al.
Veröffentlicht: (2024)

Experiments with Choice in Dependently-Typed Higher-Order Logic
von: Ranalter, Daniel, et al.
Veröffentlicht: (2024)

TPTP World Infrastructure for Non-classical Logics
von: Steen, Alexander, et al.
Veröffentlicht: (2025)

Quantum Abduction: A New Paradigm for Reasoning under Uncertainty
von: Pareschi, Remo
Veröffentlicht: (2025)

Teaching Higher-Order Logic Using Isabelle
von: Lund, Simon Tobias, et al.
Veröffentlicht: (2024)

A Neurosymbolic Framework for Geometric Reduction of Binary Forms
von: Kotsireas, Ilias, et al.
Veröffentlicht: (2025)

TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models
von: Akgün, Özgür, et al.
Veröffentlicht: (2022)

Style2Code: A Style-Controllable Code Generation Framework with Dual-Modal Contrastive Representation Learning
von: Zhang, Dutao, et al.
Veröffentlicht: (2025)

Tensor Logic: The Language of AI
von: Domingos, Pedro
Veröffentlicht: (2025)

By Their Fruits You Will Know Them: Comparing Formalizations of Law by the Decisions They Encode
von: Vernie, Julius, et al.
Veröffentlicht: (2026)

Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned
von: Villadsen, Jørgen
Veröffentlicht: (2025)

Reasoning and Planning with Dynamically Changing Norms
von: Olson, Taylor, et al.
Veröffentlicht: (2026)

An Explainable Collaborative Dialogue System using a Theory of Mind
von: Cohen, Philip R., et al.
Veröffentlicht: (2023)

Twitch: Learning Abstractions for Equational Theorem Proving
von: Axelrod, Guy, et al.
Veröffentlicht: (2026)

Optimistic Higher-Order Superposition
von: Bentkamp, Alexander, et al.
Veröffentlicht: (2025)

Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions
von: Morris, Matthew, et al.
Veröffentlicht: (2025)

From Scientific Texts to Verifiable Code: Automating the Process with Transformers
von: Wang, Changjie, et al.
Veröffentlicht: (2025)

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

Experience with GitHub Copilot for Developer Productivity at Zoominfo
von: Bakal, Gal, et al.
Veröffentlicht: (2025)

DISCO: DISCovering Overfittings as Causal Rules for Text Classification Models
von: Zhang, Zijian, et al.
Veröffentlicht: (2024)

Foundation Models for Structural Health Monitoring
von: Benfenati, Luca, et al.
Veröffentlicht: (2024)

Advancing Explainability in Neural Machine Translation: Analytical Metrics for Attention and Alignment Consistency
von: Mishra, Anurag
Veröffentlicht: (2024)

Sound Logical Explanations for Mean Aggregation Graph Neural Networks
von: Morris, Matthew, et al.
Veröffentlicht: (2025)

Software Defined Vehicle Code Generation: A Few-Shot Prompting Approach
von: Nguyen, Quang-Dung, et al.
Veröffentlicht: (2025)

Development of Hybrid Artificial Intelligence Training on Real and Synthetic Data: Benchmark on Two Mixed Training Strategies
von: Wachter, Paul, et al.
Veröffentlicht: (2025)

Fuzzy Logic Guided Reward Function Variation: An Oracle for Testing Reinforcement Learning Programs
von: Zhang, Shiyu, et al.
Veröffentlicht: (2024)

CodeCompass: Navigating the Navigation Paradox in Agentic Code Intelligence
von: Paipuru, Tarakanath
Veröffentlicht: (2026)

Thinking Machines: Mathematical Reasoning in the Age of LLMs
von: Asperti, Andrea, et al.
Veröffentlicht: (2025)

Logical Consistency Between Disagreeing Experts and Its Role in AI Safety
von: Corrada-Emmanuel, Andrés
Veröffentlicht: (2025)

GPT-4.1 Sets the Standard in Automated Experiment Design Using Novel Python Libraries
von: Fachada, Nuno, et al.
Veröffentlicht: (2025)

Understanding Syllogistic Reasoning in LLMs from Formal and Natural Language Perspectives
von: Poddar, Aheli, et al.
Veröffentlicht: (2025)