Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2305.16137 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
A note on occur-check (extended report)
by: Drabent, Włodzimierz
Published: (2022)
by: Drabent, Włodzimierz
Published: (2022)
On systematic construction of correct logic programs
by: Drabent, Włodzimierz
Published: (2025)
by: Drabent, Włodzimierz
Published: (2025)
Optimal matching for sharing and linearity analysis
by: Amato, Gianluca, et al.
Published: (2024)
by: Amato, Gianluca, et al.
Published: (2024)
Transport via Partial Galois Connections and Equivalences
by: Kappelmann, Kevin
Published: (2023)
by: Kappelmann, Kevin
Published: (2023)
Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog
by: Amato, Gianluca, et al.
Published: (2024)
by: Amato, Gianluca, et al.
Published: (2024)
CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking
by: Oza, Neeva, et al.
Published: (2025)
by: Oza, Neeva, et al.
Published: (2025)
Implementing the First-Order Logic of Here and There
by: Otten, Jens, et al.
Published: (2026)
by: Otten, Jens, et al.
Published: (2026)
Complexity of Consistency Testing for the Release-Acquire Semantics
by: Govind, R., et al.
Published: (2026)
by: Govind, R., et al.
Published: (2026)
Multiple Query Satisfiability of Constrained Horn Clauses
by: De Angelis, Emanuele, et al.
Published: (2022)
by: De Angelis, Emanuele, et al.
Published: (2022)
(Co)condition hits the Path
by: Zhang, Tesla, et al.
Published: (2024)
by: Zhang, Tesla, et al.
Published: (2024)
Kodezi Chronos: A Debugging-First Language Model for Repository-Scale Code Understanding
by: Khan, Ishraq, et al.
Published: (2025)
by: Khan, Ishraq, et al.
Published: (2025)
FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
by: Zhang, Xindi, et al.
Published: (2025)
by: Zhang, Xindi, et al.
Published: (2025)
Formal Verification of Imperative First-Class Functions in Move
by: Grieskamp, Wolfgang, et al.
Published: (2026)
by: Grieskamp, Wolfgang, et al.
Published: (2026)
Task Memory Engine (TME): Enhancing State Awareness for Multi-Step LLM Agent Tasks
by: Ye, Ye
Published: (2025)
by: Ye, Ye
Published: (2025)
Scaling the Scaling Logic: Agentic Meta-Synthesis of Logic Reasoning
by: Liu, Bowen, et al.
Published: (2026)
by: Liu, Bowen, et al.
Published: (2026)
Deep Learning Frameworks for Cognitive Radio Networks: Review and Open Research Challenges
by: Jagatheesaperumal, Senthil Kumar, et al.
Published: (2024)
by: Jagatheesaperumal, Senthil Kumar, et al.
Published: (2024)
Summa Summarum: Moessner's Theorem without Dynamic Programming
by: Danvy, Olivier
Published: (2024)
by: Danvy, Olivier
Published: (2024)
Improving Hyperparameter Optimization with Checkpointed Model Weights
by: Mehta, Nikhil, et al.
Published: (2024)
by: Mehta, Nikhil, et al.
Published: (2024)
Chain-Oriented Objective Logic with Neural Network Feedback Control and Cascade Filtering for Dynamic Multi-DSL Regulation
by: Han, Jipeng
Published: (2024)
by: Han, Jipeng
Published: (2024)
PYTHALAB-MERA: Validation-Grounded Memory, Retrieval, and Acceptance Control for Frozen-LLM Coding Agents
by: Iscan, Mehmet
Published: (2026)
by: Iscan, Mehmet
Published: (2026)
Unraveling the iterative CHAD
by: Nunes, Fernando Lucatelli, et al.
Published: (2025)
by: Nunes, Fernando Lucatelli, et al.
Published: (2025)
The Semantics of Metapropramming in Prolog
by: Warren, David S.
Published: (2024)
by: Warren, David S.
Published: (2024)
Vanilla Object Orientation (VOO): A Value-Semantics Approach to Classes in Tcl
by: Araujo, Alan
Published: (2026)
by: Araujo, Alan
Published: (2026)
Test Case Features as Hyper-heuristics for Inductive Programming
by: McDaid, Edward, et al.
Published: (2024)
by: McDaid, Edward, et al.
Published: (2024)
Mining Citywide Dengue Spread Patterns in Singapore Through Hotspot Dynamics from Open Web Data
by: Huang, Liping, et al.
Published: (2026)
by: Huang, Liping, et al.
Published: (2026)
Context Engineering for Multi-Agent LLM Code Assistants Using Elicit, NotebookLM, ChatGPT, and Claude Code
by: Haseeb, Muhammad
Published: (2025)
by: Haseeb, Muhammad
Published: (2025)
RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
by: Guo, Jinyao, et al.
Published: (2025)
by: Guo, Jinyao, et al.
Published: (2025)
Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation
by: Arafat, Jahidul, et al.
Published: (2025)
by: Arafat, Jahidul, et al.
Published: (2025)
Language processing in humans and computers
by: Pavlovic, Dusko
Published: (2024)
by: Pavlovic, Dusko
Published: (2024)
Generative AI and the Transformation of Software Development Practices
by: Acharya, Vivek
Published: (2025)
by: Acharya, Vivek
Published: (2025)
A Fully Data-Driven Value Iteration for Stochastic LQR: Convergence, Robustness and Stability
by: Cui, Leilei, et al.
Published: (2025)
by: Cui, Leilei, et al.
Published: (2025)
OWLOOP: Interfaces for Mapping OWL Axioms into OOP Hierarchies
by: Buoncompagni, Luca, et al.
Published: (2024)
by: Buoncompagni, Luca, et al.
Published: (2024)
Scattered Forest Search: Smarter Code Space Exploration with LLMs
by: Light, Jonathan, et al.
Published: (2024)
by: Light, Jonathan, et al.
Published: (2024)
Instruction and Solution Probabilities as Heuristics for Inductive Programming
by: McDaid, Edward, et al.
Published: (2025)
by: McDaid, Edward, et al.
Published: (2025)
Early Announcement: Parametricity for GADTs
by: Cagne, Pierre, et al.
Published: (2024)
by: Cagne, Pierre, et al.
Published: (2024)
Nominal Algebraic-Coalgebraic Data Types, with Applications to Infinitary Lambda-Calculi
by: Cerda, Rémy
Published: (2025)
by: Cerda, Rémy
Published: (2025)
Proving and Computing: The Infinite Pigeonhole Principle and Countable Choice
by: Ariola, Zena M., et al.
Published: (2026)
by: Ariola, Zena M., et al.
Published: (2026)
The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages
by: Bagnara, Roberto, et al.
Published: (2016)
by: Bagnara, Roberto, et al.
Published: (2016)
Transformer self-attention encoder-decoder with multimodal deep learning for response time series forecasting and digital twin support in wind structural health monitoring
by: Zhou, Feiyu, et al.
Published: (2026)
by: Zhou, Feiyu, et al.
Published: (2026)
Rust vs. C for Python Libraries: Evaluating Rust-Compatible Bindings Toolchains
by: Amaral, Isabella Basso do, et al.
Published: (2025)
by: Amaral, Isabella Basso do, et al.
Published: (2025)