Integrating Symbolic Reasoning into Neural Generative Models for Design Generation
Fuente:
arXiv
Saved in:
| Main Authors: | Jacobson, Maxwell Joseph, Xue, Yexiang |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Zero-shot Imitation Learning by Latent Topology Mapping
by: Jacobson, Maxwell J., et al.
Published: (2026)
by: Jacobson, Maxwell J., et al.
Published: (2026)
Hypothesis Network Planned Exploration for Rapid Meta-Reinforcement Learning Adaptation
by: Jacobson, Maxwell Joseph, et al.
Published: (2023)
by: Jacobson, Maxwell Joseph, et al.
Published: (2023)
CALM: Contextual Analog Logic with Multimodality
by: Jacobson, Maxwell J., et al.
Published: (2025)
by: Jacobson, Maxwell J., et al.
Published: (2025)
Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees
by: Li, Jinzhao, et al.
Published: (2023)
by: Li, Jinzhao, et al.
Published: (2023)
EGG-SR: Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph
by: Jiang, Nan, et al.
Published: (2025)
by: Jiang, Nan, et al.
Published: (2025)
Vertical Symbolic Regression via Deep Policy Gradient
by: Jiang, Nan, et al.
Published: (2024)
by: Jiang, Nan, et al.
Published: (2024)
Reducing Hallucinations in LLM-based Scientific Literature Analysis Using Peer Context Outlier Detection
by: Xie, Daniel, et al.
Published: (2026)
by: Xie, Daniel, et al.
Published: (2026)
A Multi-Agent Human-LLM Collaborative Framework for Closed-Loop Scientific Literature Summarization
by: Jacobson, Maxwell J., et al.
Published: (2026)
by: Jacobson, Maxwell J., et al.
Published: (2026)
Neuro-Symbolic Data Generation for Math Reasoning
by: Li, Zenan, et al.
Published: (2024)
by: Li, Zenan, et al.
Published: (2024)
To See the Unseen: on the Generalization Ability of Transformers in Symbolic Reasoning
by: Lazić, Nevena, et al.
Published: (2026)
by: Lazić, Nevena, et al.
Published: (2026)
Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits
by: Li, Jinzhao, et al.
Published: (2025)
by: Li, Jinzhao, et al.
Published: (2025)
PG-3DGS: Optimizing 3D Gaussian Splatting to Satisfy Physics Objectives
by: Lee, Zachary, et al.
Published: (2026)
by: Lee, Zachary, et al.
Published: (2026)
Approximating Pareto Frontiers in Stochastic Multi-Objective Optimization via Hashing and Randomization
by: Li, Jinzhao, et al.
Published: (2026)
by: Li, Jinzhao, et al.
Published: (2026)
Bridging Logic and Learning: A Neural-Symbolic Approach for Enhanced Reasoning in Neural Models (ASPER)
by: Machot, Fadi Al
Published: (2023)
by: Machot, Fadi Al
Published: (2023)
Declarative Design of Neural Predicates in Neuro-Symbolic Systems
by: Hinnerichs, Tilman, et al.
Published: (2024)
by: Hinnerichs, Tilman, et al.
Published: (2024)
Integrating Symbolic Execution into the Fine-Tuning of Code-Generating LLMs
by: Sakharova, Marina, et al.
Published: (2025)
by: Sakharova, Marina, et al.
Published: (2025)
Generating by Understanding: Neural Visual Generation with Logical Symbol Groundings
by: Peng, Yifei, et al.
Published: (2023)
by: Peng, Yifei, et al.
Published: (2023)
LogicGraph : Benchmarking Multi-Path Logical Reasoning via Neuro-Symbolic Generation and Verification
by: Wu, Yanrui, et al.
Published: (2026)
by: Wu, Yanrui, et al.
Published: (2026)
Interpretable Neural-Symbolic Concept Reasoning
by: Barbiero, Pietro, et al.
Published: (2023)
by: Barbiero, Pietro, et al.
Published: (2023)
SymbolicThought: Integrating Language Models and Symbolic Reasoning for Consistent and Interpretable Human Relationship Understanding
by: Zhao, Runcong, et al.
Published: (2025)
by: Zhao, Runcong, et al.
Published: (2025)
Enhancing Generalization in Chain of Thought Reasoning for Smaller Models
by: Yin, Maxwell J., et al.
Published: (2025)
by: Yin, Maxwell J., et al.
Published: (2025)
Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs
by: Yang, Sen, et al.
Published: (2023)
by: Yang, Sen, et al.
Published: (2023)
Symbol-Equivariant Recurrent Reasoning Models
by: Freinschlag, Richard, et al.
Published: (2026)
by: Freinschlag, Richard, et al.
Published: (2026)
Interpretable by AI Mother Tongue: Native Symbolic Reasoning in Neural Models
by: Liu, Hung Ming
Published: (2025)
by: Liu, Hung Ming
Published: (2025)
Reasoning Under Threat: Symbolic and Neural Techniques for Cybersecurity Verification
by: Veronica, Sarah
Published: (2025)
by: Veronica, Sarah
Published: (2025)
Symbolic Representation for Any-to-Any Generative Tasks
by: Chen, Jiaqi, et al.
Published: (2025)
by: Chen, Jiaqi, et al.
Published: (2025)
Model-Grounded Symbolic Artificial Intelligence Systems Learning and Reasoning with Model-Grounded Symbolic Artificial Intelligence Systems
by: Chattopadhyay, Aniruddha, et al.
Published: (2025)
by: Chattopadhyay, Aniruddha, et al.
Published: (2025)
Compositional Neuro-Symbolic Reasoning
by: Das, Anugyan, et al.
Published: (2026)
by: Das, Anugyan, et al.
Published: (2026)
Efficient Long-Sequence Diffusion Modeling for Symbolic Music Generation
by: Xu, Jinhan, et al.
Published: (2026)
by: Xu, Jinhan, et al.
Published: (2026)
Neuro-Symbolic Generative Diffusion Models for Physically Grounded, Robust, and Safe Generation
by: Christopher, Jacob K., et al.
Published: (2025)
by: Christopher, Jacob K., et al.
Published: (2025)
Generating Symbolic World Models via Test-time Scaling of Large Language Models
by: Yu, Zhouliang, et al.
Published: (2025)
by: Yu, Zhouliang, et al.
Published: (2025)
Dspy-based Neural-Symbolic Pipeline to Enhance Spatial Reasoning in LLMs
by: Wang, Rong, et al.
Published: (2024)
by: Wang, Rong, et al.
Published: (2024)
Neural-Symbolic Reasoning over Knowledge Graphs: A Survey from a Query Perspective
by: Liu, Lihui, et al.
Published: (2024)
by: Liu, Lihui, et al.
Published: (2024)
Think before You Simulate: Symbolic Reasoning to Orchestrate Neural Computation for Counterfactual Question Answering
by: Ishay, Adam, et al.
Published: (2025)
by: Ishay, Adam, et al.
Published: (2025)
Symbolic Neural Generation with Applications to Lead Discovery in Drug Design
by: Srinivasan, Ashwin, et al.
Published: (2025)
by: Srinivasan, Ashwin, et al.
Published: (2025)
CAREAgent: Clinical Agent with Structured Reasoning and Tool-Integrated for Order Generation
by: Hou, Ruihui, et al.
Published: (2026)
by: Hou, Ruihui, et al.
Published: (2026)
NeSyGeo: A Neuro-Symbolic Framework for Multimodal Geometric Reasoning Data Generation
by: Wu, Weiming, et al.
Published: (2025)
by: Wu, Weiming, et al.
Published: (2025)
When Do Symbolic Solvers Enhance Reasoning in Large Language Models?
by: He, Zhiyuan, et al.
Published: (2025)
by: He, Zhiyuan, et al.
Published: (2025)
Learning Type-Generalized Actions for Symbolic Planning
by: Tanneberg, Daniel, et al.
Published: (2023)
by: Tanneberg, Daniel, et al.
Published: (2023)
Code-as-Symbolic-Planner: Foundation Model-Based Robot Planning via Symbolic Code Generation
by: Chen, Yongchao, et al.
Published: (2025)
by: Chen, Yongchao, et al.
Published: (2025)
Similar Items
-
Zero-shot Imitation Learning by Latent Topology Mapping
by: Jacobson, Maxwell J., et al.
Published: (2026) -
Hypothesis Network Planned Exploration for Rapid Meta-Reinforcement Learning Adaptation
by: Jacobson, Maxwell Joseph, et al.
Published: (2023) -
CALM: Contextual Analog Logic with Multimodality
by: Jacobson, Maxwell J., et al.
Published: (2025) -
Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees
by: Li, Jinzhao, et al.
Published: (2023) -
EGG-SR: Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph
by: Jiang, Nan, et al.
Published: (2025)