:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Guo, Xiangyu, Bansal, Ajay
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages 03B70, 68T27, 68T30 D.3.0
Acceso en línea:	https://arxiv.org/abs/2408.16699
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

Intersymbolic AI: Interlinking Symbolic AI and Subsymbolic AI
por: Platzer, André
Publicado: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Solovay reducibility implies S2a-reducibility
por: Titov, Ivan
Publicado: (2024)

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

Regainingly approximable numbers and sets
por: Hertling, Peter, et al.
Publicado: (2023)

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

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

The Optimizer Quotient and the Certification Trilemma
por: Simas, Tristan
Publicado: (2026)

Remarks on Primitive Regulation
por: Rosko, Milan
Publicado: (2026)

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

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

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

There is a deep 1-generic set
por: Li, Ang
Publicado: (2024)

State Algebra for Propositional Logic
por: Lesnik, Dmitry, et al.
Publicado: (2025)

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

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

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

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

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