Cover Image

Instruction and Solution Probabilities as Heuristics for Inductive Programming

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	McDaid, Edward, McDaid, Sarah
Format:	Preprint
Published:	2025
Subjects:	Software Engineering Artificial Intelligence D.1.2; D.3.3; F.1.1; F.3.1; F.3.3; I.2.1; I.2.2; I.2.4; I.2.5; I.2.8; I.5.3
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Test Case Features as Hyper-heuristics for Inductive Programming
by: McDaid, Edward, et al.
Published: (2024)

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT
by: Rawat, Sanjay
Published: (2026)

From Scientific Texts to Verifiable Code: Automating the Process with Transformers
by: Wang, Changjie, et al.
Published: (2025)

Tensor Manifold-Based Graph-Vector Fusion for AI-Native Academic Literature Retrieval
by: Wei, Xing, et al.
Published: (2026)

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

IMDMR: An Intelligent Multi-Dimensional Memory Retrieval System for Enhanced Conversational AI
by: Pawar, Tejas, et al.
Published: (2025)

Summa Summarum: Moessner's Theorem without Dynamic Programming
by: Danvy, Olivier
Published: (2024)

FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
by: Zhang, Xindi, et al.
Published: (2025)

Mechanized Foundations of Structural Governance: Machine-Checked Proofs for Governed Intelligence
by: McCann, Alan L.
Published: (2026)

Domain Specific Data Distillation and Multi-modal Embedding Generation
by: Peddiraju, Sharadind, et al.
Published: (2024)

Data Verification is the Future of Quantum Computing Copilots
by: Song, Junhao, et al.
Published: (2026)

ClustML: A Measure of Cluster Pattern Complexity in Scatterplots Learnt from Human-labeled Groupings
by: Abbas, Mostafa M., et al.
Published: (2021)

Tokenization Disparities as Infrastructure Bias: How Subword Systems Create Inequities in LLM Access and Efficiency
by: Teklehaymanot, Hailay Kidu, et al.
Published: (2025)

Cryptographic Registry Provenance: Structural Defense Against Dependency Confusion in AI Package Ecosystems
by: McCann, Alan L.
Published: (2026)

A Grounded Memory System For Smart Personal Assistants
by: Ocker, Felix, et al.
Published: (2025)

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

SPARTA: Scalable and Principled Benchmark of Tree-Structured Multi-hop QA over Text and Tables
by: Park, Sungho, et al.
Published: (2026)

Federated Learning: From Theory to Practice
by: Jung, A.
Published: (2025)

Hyperoctant Search Clustering: A Method for Clustering Data in High-Dimensional Hyperspheres
by: Toledo-Acosta, Mauricio, et al.
Published: (2025)

Assisted morbidity coding: the SISCO.web use case for identifying the main diagnosis in Hospital Discharge Records
by: Cardillo, Elena, et al.
Published: (2024)

TerraFormer: Automated Infrastructure-as-Code with LLMs Fine-Tuned via Policy-Guided Verifier Feedback
by: Jana, Prithwish, et al.
Published: (2026)

Propagation by Selective Initialization and Its Application to Numerical Constraint Satisfaction Problems
by: van Emden, M. H., et al.
Published: (2004)

Memory Management and Contextual Consistency for Long-Running Low-Code Agents
by: Xu, Jiexi
Published: (2025)

Leveraging OpenFlamingo for Multimodal Embedding Analysis of C2C Car Parts Data
by: Rashid, Maisha Binte, et al.
Published: (2025)

Active Data
by: Arthur, Richard, et al.
Published: (2026)

Social Story Frames: Contextual Reasoning about Narrative Intent and Reception
by: Mire, Joel, et al.
Published: (2025)

Linearly-scalable and entropy-optimal learning of nonstationary and nonlinear manifolds
by: Horenko, Illia
Published: (2025)

Inductive First-Order Formula Synthesis by ASP: A Case Study in Invariant Inference
by: Yang, Ziyi, et al.
Published: (2026)

Scattered Forest Search: Smarter Code Space Exploration with LLMs
by: Light, Jonathan, et al.
Published: (2024)

The concept of class invariant in object-oriented programming
by: Meyer, Bertrand, et al.
Published: (2021)

Ancestry Tree Clustering for Particle Filter Diversity Maintenance
by: Vallivaara, Ilari, et al.
Published: (2025)

DEUCE: Dual-diversity Enhancement and Uncertainty-awareness for Cold-start Active Learning
by: Guo, Jiaxin, et al.
Published: (2025)

Certified Purity for Cognitive Workflow Executors: From Static Analysis to Cryptographic Attestation
by: McCann, Alan L.
Published: (2026)

Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic
by: Lin, Hongyu, et al.
Published: (2026)

"What Is It That You Don't Understand?" Language Games and Black Box Algorithms
by: Demichelis, Remy
Published: (2026)

Exploring Large Language Models for Access Control Policy Synthesis and Summarization
by: Vatsa, Adarsh, et al.
Published: (2025)

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
by: Suwa, Takashi, et al.
Published: (2026)

An Industrial-Scale Retrieval-Augmented Generation Framework for Requirements Engineering: Empirical Evaluation with Automotive Manufacturing Data
by: Khalid, Muhammad, et al.
Published: (2026)

PubMed Reasoner: Dynamic Reasoning-based Retrieval for Evidence-Grounded Biomedical Question Answering
by: Zhang, Yiqing, et al.
Published: (2026)

Semantic Reconstruction of Adversarial Plagiarism: A Context-Aware Framework for Detecting and Restoring "Tortured Phrases" in Scientific Literature
by: Maiti, Agniva, et al.
Published: (2025)