:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Guo, Xiangyu, Bansal, Ajay
Format:	Preprint
Published:	2024
Subjects:	Programming Languages 03B70, 68T27, 68T30 D.3.0
Online Access:	https://arxiv.org/abs/2408.16699
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Improving stableKanren's Backward Compatibility
by: Guo, Xiangyu, et al.
Published: (2024)

Encoding Numeric Computations and Infusing Heuristic Knowledge Using Integrity Constraints in stableKanren
by: Guo, Xiangyu, et al.
Published: (2025)

Temporal Lifting as Latent-Space Regularization for Continuous-Time Flow Models in AI Systems
by: Camlin, Jeffrey
Published: (2025)

Intersymbolic AI: Interlinking Symbolic AI and Subsymbolic AI
by: Platzer, André
Published: (2024)

Why the classes P and NP are not well-defined finitarily
by: Anand, Bhupinder Singh
Published: (2024)

Multi-Language Benchmark Generation via L-Systems
by: da Silva, Vinícius Francisco, et al.
Published: (2025)

Logical Modalities within the European AI Act: An Analysis
by: Lawniczak, Lara, et al.
Published: (2025)

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
by: Guo, Jinyao, et al.
Published: (2025)

Random expansions of trees with bounded height
by: Koponen, Vera, et al.
Published: (2024)

A Novel Kuhnian Ontology for Epistemic Classification of STM Scholarly Articles
by: Saqr, Khalid M.
Published: (2020)

Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
by: Zhong, Zhiyao, et al.
Published: (2025)

LLMDFA: Analyzing Dataflow in Code with Large Language Models
by: Wang, Chengpeng, et al.
Published: (2024)

Fitting Ontologies and Constraints to Relational Structures
by: Hosemann, Simon, et al.
Published: (2025)

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

The Significance of Symbolic Logic for Scientific Education
by: Platzer, André
Published: (2024)

Normative Conditional Reasoning as a Fragment of HOL
by: Parent, Xavier, et al.
Published: (2023)

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

Complexity of deep computations via topology of function spaces
by: Dueñez, Eduardo, et al.
Published: (2026)

Algebraic Proof Theory for Infinitary Action Logic
by: Fussner, Wesley, et al.
Published: (2025)

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

Structure and Destructure: Dual Forces in the Making of Knowledge Engines
by: Chen, Yihong
Published: (2025)

Black Box Deployed -- Functional Criteria for Artificial Moral Agents in the LLM Era
by: Brophy, Matthew E.
Published: (2025)

Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems
by: Wright, Craig Steven
Published: (2025)

Solovay reducibility implies S2a-reducibility
by: Titov, Ivan
Published: (2024)

Deconstructed Proto-Quipper: A Rational Reconstruction
by: Kavanagh, Ryan, et al.
Published: (2025)

Regainingly approximable numbers and sets
by: Hertling, Peter, et al.
Published: (2023)

A total Solovay reducibility and totalizing of the notion of speedability
by: Merkle, Wolfgang, et al.
Published: (2024)

Fixed-Point Traps and Identity Emergence in Educational Feedback Systems
by: Alpay, Faruk
Published: (2025)

The Optimizer Quotient and the Certification Trilemma
by: Simas, Tristan
Published: (2026)

Remarks on Primitive Regulation
by: Rosko, Milan
Published: (2026)

Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications
by: Donadello, Ivan, et al.
Published: (2024)

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

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

There is a deep 1-generic set
by: Li, Ang
Published: (2024)

State Algebra for Propositional Logic
by: Lesnik, Dmitry, et al.
Published: (2025)

Novel Fuzzy Centrality Measures in Vague Social Networks
by: Porreca, Annamaria, et al.
Published: (2024)

Stemming Hallucination in Language Models Using a Licensing Oracle
by: Emanuilov, Simeon, et al.
Published: (2025)

Strong Kurtz Randomness and Binary Expansions of Reordered Computable Numbers
by: Hertling, Peter, et al.
Published: (2025)

Generalized Samorodnitsky noisy function inequalities, with applications to error-correcting codes
by: Abawonse, Olakunle S., et al.
Published: (2025)

$\mathbb{N}$-polyregular functions arise from well-quasi-orderings
by: Lopez, Aliaume
Published: (2024)