:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Semmelrock, Veronika, Friedrich, Gerhard
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence D.1.6; F.4.1
Online Access:	https://arxiv.org/abs/2601.03850
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Implementing the First-Order Logic of Here and There
by: Otten, Jens, et al.
Published: (2026)

Formalising Software Requirements using Large Language Models
by: Beg, Arshad, et al.
Published: (2025)

Working Document -- Formalising Software Requirements with Large Language Models
by: Beg, Arshad, et al.
Published: (2025)

An Algorithmic Information-Theoretic Perspective on the Symbol Grounding Problem
by: Liu, Zhangchi
Published: (2025)

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
by: Beg, Arshad, et al.
Published: (2026)

Evaluating LLM-Generated ACSL Annotations for Formal Verification
by: Beg, Arshad, et al.
Published: (2026)

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods
by: Beg, Arshad, et al.
Published: (2026)

A note on occur-check (extended report)
by: Drabent, Włodzimierz
Published: (2022)

Sutra: Tensor-Op RNNs as a Compilation Target for Vector Symbolic Architectures
by: Leonhart, Emma
Published: (2026)

Internalizing Tools as Morphisms in Graded Transformers
by: Shaska, Tony
Published: (2025)

Comparing verbal, visual and combined explanations for Bayesian Network inferences
by: Nyberg, Erik P., et al.
Published: (2025)

A Framework for Generating Informative Benchmark Instances
by: Dang, Nguyen, et al.
Published: (2022)

Taming the Black Swan: A Momentum-Gated Hierarchical Optimisation Framework for Asymmetric Alpha Generation
by: Chakraborty, Arya, et al.
Published: (2026)

IntSat: Integer Linear Programming by Conflict-Driven Constraint-Learning
by: Nieuwenhuis, Robert, et al.
Published: (2024)

ConfigSpec: Profiling-Based Configuration Selection for Distributed Edge--Cloud Speculative LLM Serving
by: Li, Xiangchen, et al.
Published: (2026)

Smart Expansion Techniques for ASP-based Interactive Configuration
by: Balážová, Lucia, et al.
Published: (2025)

Logic interpretations of ANN partition cells
by: Schmitt, Ingo
Published: (2024)

Consensus and Synchronization of Multi-agent Systems over Finite Fields -- Graph Topologies
by: Hengster-Movrić, Kristian, et al.
Published: (2026)

CLS-CAD: Synthesizing CAD Assemblies in Fusion 360
by: Chaumet, Constantin, et al.
Published: (2023)

A knowledge-driven framework for synthesizing designs from modular components
by: Chaumet, Constantin, et al.
Published: (2023)

A Short Survey on Formalising Software Requirements using Large Language Models
by: Beg, Arshad, et al.
Published: (2025)

LLM-FACETS: A Privacy-Preserving Framework for Evaluating LLM Transparency and Accountability
by: Lucas, Tom, et al.
Published: (2026)

Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures
by: Ngouonou, Jovial Cheukam, et al.
Published: (2025)

Argumentation and Machine Learning
by: Rago, Antonio, et al.
Published: (2024)

Interpretable DNFs
by: Cooper, Martin C., et al.
Published: (2025)

plingo: A system for probabilistic reasoning in clingo based on lpmln
by: Hahn, Susana, et al.
Published: (2022)

CON-FOLD -- Explainable Machine Learning with Confidence
by: McGinness, Lachlan, et al.
Published: (2024)

From Code to Compliance: Assessing ChatGPT's Utility in Designing an Accessible Webpage -- A Case Study
by: Ahmed, Ammar, et al.
Published: (2025)

Exact Synthetic Populations for Scalable Societal and Market Modeling
by: Petit, Thierry, et al.
Published: (2025)

WISP: Waste- and Interference-Suppressed Distributed Speculative LLM Serving at the Edge via Dynamic Drafting and SLO-Aware Batching
by: Li, Xiangchen, et al.
Published: (2026)

Ground Stratification for a Logic of Definitions with Induction
by: Guermond, Nathan, et al.
Published: (2025)

Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions
by: Jaakkola, Reijo, et al.
Published: (2024)

Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations
by: Beg, Arshad, et al.
Published: (2026)

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
by: Beg, Arshad, et al.
Published: (2025)

HiDVFS: A Hierarchical Multi-Agent DVFS Scheduler for OpenMP DAG Workloads
by: Pivezhandi, Mohammad, et al.
Published: (2026)

Stratified Type Theory
by: Chan, Jonathan, et al.
Published: (2023)

Architecture for Simulating Behavior Mode Changes in Norm-Aware Autonomous Agents
by: Glaze, Sean, et al.
Published: (2025)

Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
by: Waldinger, Richard
Published: (2025)

Refactoring-as-Propositions: Proved Refactoring of Hybrid Systems via Proved Refinements
by: Prebet, Enguerrand, et al.
Published: (2026)

Uniform Substitution for Differential Refinement Logic
by: Prebet, Enguerrand, et al.
Published: (2024)