Cover Image

Neuro-Symbolic Code Generation via S-Expression Intermediate Representation and Deterministic Harness Engineering

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Author:	Jin, Ruoqi
Format:	Recurso digital
Published:	Zenodo 2026
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Formal Architecture Descriptors as Navigation Primitives for AI Coding Agents
by: Jin, Ruoqi
Published: (2026)

Proof-Carrying Neuro-Symbolic Code
by: Komendantskaya, Ekaterina
Published: (2025)

Eve: A Deterministic, Certifiable Hard Neuro-Symbolic Cognition Engine
by: Ford, Zachary
Published: (2025)

Eve: A Deterministic, Certifiable Hard Neuro-Symbolic Cognition Engine
by: Ford, Zachary
Published: (2025)

Neuro-Symbolic Financial Reasoning via Deterministic Fact Ledgers and Adversarial Low-Latency Hallucination Detector
by: Agand, Pedram
Published: (2026)

Correct-by-Construction G-Code Generation: A Neuro-Symbolic Approach via Separation Logic
by: Lee, Yeonseok
Published: (2026)

Taxonomic Networks: A Representation for Neuro-Symbolic Pairing
by: Wang, Zekun, et al.
Published: (2025)

Bridging the Gap: Representation Spaces in Neuro-Symbolic AI
by: Zhang, Xin, et al.
Published: (2024)

Neuro-Symbolic Query Compiler
by: Zhang, Yuyao, et al.
Published: (2025)

The Cognitive Lattice: A Neuro-Symbolic Hypergraph Architecture for Deterministic Reasoning and Autonomous Knowledge Topology
by: Dev, Gadgil
Published: (2025)

VeriTrans: Fine-Tuned LLM-Assisted NL-to-PL Translation via a Deterministic Neuro-Symbolic Pipeline
by: Liu, Xuan, et al.
Published: (2026)

VIRO: Robust and Efficient Neuro-Symbolic Reasoning with Verification for Referring Expression Comprehension
by: Park, Hyejin, et al.
Published: (2026)

SynthFix: Adaptive Neuro-Symbolic Code Vulnerability Repair
by: Zhang, Yifan, et al.
Published: (2026)

Neuro-Symbolic Data Generation for Math Reasoning
by: Li, Zenan, et al.
Published: (2024)

Neuro-Symbolic Concepts
by: Mao, Jiayuan, et al.
Published: (2025)

Sketch-Plan-Generalize: Learning and Planning with Neuro-Symbolic Programmatic Representations for Inductive Spatial Concepts
by: Kalithasan, Namasivayam, et al.
Published: (2024)

CLAUSE: Agentic Neuro-Symbolic Knowledge Graph Reasoning via Dynamic Learnable Context Engineering
by: Zhao, Yang, et al.
Published: (2025)

Reasoning Meets Representation: Envisioning Neuro-Symbolic Wireless Foundation Models
by: Fontaine, Jaron, et al.
Published: (2025)

Neural Proposals, Symbolic Guarantees: Neuro-Symbolic Graph Generation with Hard Constraints
by: Geng, Chuqin, et al.
Published: (2026)

Neuro-Symbolic Embedding for Short and Effective Feature Selection via Autoregressive Generation
by: Gong, Nanxu, et al.
Published: (2024)

Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
by: Zhang, Xuanming, et al.
Published: (2024)

NeuroComparatives: Neuro-Symbolic Distillation of Comparative Knowledge
by: Howard, Phillip, et al.
Published: (2023)

Neuro-Symbolic Entity Alignment via Variational Inference
by: Chen, Shengyuan, et al.
Published: (2024)

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

Compositional Neuro-Symbolic Reasoning
by: Das, Anugyan, et al.
Published: (2026)

Neuro-Symbolic Rule Lists
by: Xu, Sascha, et al.
Published: (2024)

Decomposable Neuro Symbolic Regression
by: Morales, Giorgio, et al.
Published: (2025)

Federated Neuro-Symbolic Learning
by: Xing, Pengwei, et al.
Published: (2023)

Deterministic Generation of Arbitrary Fock States via Resonant Subspace Engineering
by: Jin, Shan, et al.
Published: (2026)

NeuroShield: A Neuro-Symbolic Framework for Adversarial Robustness
by: Sarvestani, Ali Shafiee, et al.
Published: (2026)

IRCoder: Intermediate Representations Make Language Models Robust Multilingual Code Generators
by: Paul, Indraneil, et al.
Published: (2024)

Code-as-Symbolic-Planner: Foundation Model-Based Robot Planning via Symbolic Code Generation
by: Chen, Yongchao, et al.
Published: (2025)

Think Like an Engineer: A Neuro-Symbolic Collaboration Agent for Generative Software Requirements Elicitation and Self-Review
by: Zhang, Sai, et al.
Published: (2025)

Binary Code Similarity Detection via Graph Contrastive Learning on Intermediate Representations
by: Shang, Xiuwei, et al.
Published: (2024)

Neuro-Symbolic Proof Generation for Scaling Systems Software Verification
by: He, Baoding, et al.
Published: (2026)

Guiding Neuro-Symbolic Scenario Generation with Spatio-Temporal Logic
by: Bonin, Lorenzo, et al.
Published: (2026)

Procedural Adherence and Interpretability Through Neuro-Symbolic Generative Agents
by: Rothkopf, Raven, et al.
Published: (2024)

Adaptive Problem Generation via Symbolic Representations
by: Yeo, Teresa, et al.
Published: (2026)

Reliable Classroom AI via Neuro-Symbolic Multimodal Reasoning
by: Nezhad, Sina Bagheri
Published: (2026)

Towards Reliable Code-as-Policies: A Neuro-Symbolic Framework for Embodied Task Planning
by: Ahn, Sanghyun, et al.
Published: (2025)