Buchumschlag

Improving stableKanren's Backward Compatibility

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Guo, Xiangyu, Bansal, Ajay
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages 03B70, 68T27, 68T30 D.3.0
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

To Be or Not To Be: Adding Integrity Constraints to stableKanren to Make a Decision
von: Guo, Xiangyu, et al.
Veröffentlicht: (2024)

Encoding Numeric Computations and Infusing Heuristic Knowledge Using Integrity Constraints in stableKanren
von: Guo, Xiangyu, et al.
Veröffentlicht: (2025)

Multi-Language Benchmark Generation via L-Systems
von: da Silva, Vinícius Francisco, et al.
Veröffentlicht: (2025)

Why the classes P and NP are not well-defined finitarily
von: Anand, Bhupinder Singh
Veröffentlicht: (2024)

Temporal Lifting as Latent-Space Regularization for Continuous-Time Flow Models in AI Systems
von: Camlin, Jeffrey
Veröffentlicht: (2025)

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
von: Guo, Jinyao, et al.
Veröffentlicht: (2025)

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

Random expansions of trees with bounded height
von: Koponen, Vera, et al.
Veröffentlicht: (2024)

Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
von: Zhong, Zhiyao, et al.
Veröffentlicht: (2025)

Logical Modalities within the European AI Act: An Analysis
von: Lawniczak, Lara, et al.
Veröffentlicht: (2025)

A Novel Kuhnian Ontology for Epistemic Classification of STM Scholarly Articles
von: Saqr, Khalid M.
Veröffentlicht: (2020)

LLMDFA: Analyzing Dataflow in Code with Large Language Models
von: Wang, Chengpeng, et al.
Veröffentlicht: (2024)

Black Box Deployed -- Functional Criteria for Artificial Moral Agents in the LLM Era
von: Brophy, Matthew E.
Veröffentlicht: (2025)

Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models
von: Grosser, Marvin, et al.
Veröffentlicht: (2026)

The Significance of Symbolic Logic for Scientific Education
von: Platzer, André
Veröffentlicht: (2024)

Complexity of deep computations via topology of function spaces
von: Dueñez, Eduardo, et al.
Veröffentlicht: (2026)

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

Solovay reducibility implies S2a-reducibility
von: Titov, Ivan
Veröffentlicht: (2024)

A total Solovay reducibility and totalizing of the notion of speedability
von: Merkle, Wolfgang, et al.
Veröffentlicht: (2024)

Algebraic Proof Theory for Infinitary Action Logic
von: Fussner, Wesley, et al.
Veröffentlicht: (2025)

Regainingly approximable numbers and sets
von: Hertling, Peter, et al.
Veröffentlicht: (2023)

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking
von: Oza, Neeva, et al.
Veröffentlicht: (2025)

Deconstructed Proto-Quipper: A Rational Reconstruction
von: Kavanagh, Ryan, et al.
Veröffentlicht: (2025)

Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning
von: Xu, Ruoran, et al.
Veröffentlicht: (2026)

Fitting Ontologies and Constraints to Relational Structures
von: Hosemann, Simon, et al.
Veröffentlicht: (2025)

Strong Kurtz Randomness and Binary Expansions of Reordered Computable Numbers
von: Hertling, Peter, et al.
Veröffentlicht: (2025)

Information vs Dimension -- an Algorithmic Perspective
von: Reimann, Jan
Veröffentlicht: (2024)

Generalized Samorodnitsky noisy function inequalities, with applications to error-correcting codes
von: Abawonse, Olakunle S., et al.
Veröffentlicht: (2025)

SocialX: A Modular Platform for Multi-Source Big Data Research in Indonesia
von: Saputra, Muhammad Apriandito Arya, et al.
Veröffentlicht: (2026)

There is a deep 1-generic set
von: Li, Ang
Veröffentlicht: (2024)

The Optimizer Quotient and the Certification Trilemma
von: Simas, Tristan
Veröffentlicht: (2026)

State Algebra for Propositional Logic
von: Lesnik, Dmitry, et al.
Veröffentlicht: (2025)

Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications
von: Donadello, Ivan, et al.
Veröffentlicht: (2024)

Structure and Destructure: Dual Forces in the Making of Knowledge Engines
von: Chen, Yihong
Veröffentlicht: (2025)

Remarks on Primitive Regulation
von: Rosko, Milan
Veröffentlicht: (2026)

Novel Fuzzy Centrality Measures in Vague Social Networks
von: Porreca, Annamaria, et al.
Veröffentlicht: (2024)

When Many-Shot Prompting Fails: An Empirical Study of LLM Code Translation
von: Oskooei, Amirkia Rafiei, et al.
Veröffentlicht: (2025)

A logic for reasoning with inconsistent knowledge -- A reformulation using nowadays terminology (2024)
von: Roos, Nico
Veröffentlicht: (2024)

Fixed-Point Traps and Identity Emergence in Educational Feedback Systems
von: Alpay, Faruk
Veröffentlicht: (2025)

Extending the Limit Theorem of Barmpalias and Lewis-Pye to all reals
von: Titov, Ivan
Veröffentlicht: (2024)