Cover Image

Proof of Thought : Neurosymbolic Program Synthesis allows Robust and Interpretable Reasoning

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ganguly, Debargha, Iyengar, Srinivasan, Chaudhary, Vipin, Kalyanaraman, Shivkumar
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence Computation and Language Machine Learning Logic in Computer Science Neural and Evolutionary Computing
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks
by: Ganguly, Debargha, et al.
Published: (2025)

From Minimal Existence to Human Definition: The CES-IMU-HSG Theoretical Framework
by: Itoh, Kei
Published: (2025)

Learning Guided Automated Reasoning: A Brief Survey
by: Blaauwbroek, Lasse, et al.
Published: (2024)

SymDQN: Symbolic Knowledge and Reasoning in Neural Network-based Reinforcement Learning
by: Amador, Ivo, et al.
Published: (2025)

Attractor FCM
by: Kafantaris, Alexis
Published: (2026)

The use of knowledge in open-ended systems
by: Devereaux, Abigail, et al.
Published: (2024)

Machine Learning as Iterated Belief Change a la Darwiche and Pearl
by: Aravanis, Theofanis
Published: (2025)

Toward Guarantees for Clinical Reasoning in Vision Language Models via Formal Verification
by: Singh, Vikash, et al.
Published: (2026)

On the Expressivity of Recurrent Neural Cascades with Identity
by: Knorozova, Nadezda Alexandrovna, et al.
Published: (2024)

Learning Conjecturing from Scratch
by: Gauthier, Thibault, et al.
Published: (2025)

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations
by: Allen, Bradley P., et al.
Published: (2025)

Compressing ACAS-Xu Lookup Tables with Binary Decision Diagrams
by: Boniol, Martin, et al.
Published: (2026)

Spectral Neuro-Symbolic Reasoning II: Semantic Node Merging, Entailment Filtering, and Knowledge Graph Alignment
by: Kiruluta, Andrew, et al.
Published: (2025)

Decentralised Emergence of Robust and Adaptive Linguistic Conventions in Populations of Autonomous Agents Grounded in Continuous Worlds
by: Ekila, Jérôme Botoko, et al.
Published: (2024)

Evolution of Thought: Diverse and High-Quality Reasoning via Multi-Objective Optimization
by: Qi, Biqing, et al.
Published: (2024)

Integrating Neurosymbolic AI in Advanced Air Mobility: A Comprehensive Survey
by: Acharya, Kamal, et al.
Published: (2025)

Enabling Robust In-Context Memory and Rapid Task Adaptation in Transformers with Hebbian and Gradient-Based Plasticity
by: Chaudhary, Siddharth
Published: (2025)

PASCAL: Precise and Efficient ANN- SNN Conversion using Spike Accumulation and Adaptive Layerwise Activation
by: Ramesh, Pranav, et al.
Published: (2025)

AdaEvolve: Adaptive LLM Driven Zeroth-Order Optimization
by: Cemri, Mert, et al.
Published: (2026)

LLM-Based Instance-Driven Heuristic Bias In the Context of a Biased Random Key Genetic Algorithm
by: Sartori, Camilo Chacón, et al.
Published: (2025)

A Neural Rewriting System to Solve Algorithmic Problems
by: Petruzzellis, Flavio, et al.
Published: (2024)

Hidden Holes: topological aspects of language models
by: Fitz, Stephen, et al.
Published: (2024)

Agent Skill Acquisition for Large Language Models via CycleQD
by: Kuroki, So, et al.
Published: (2024)

BEExformer: A Fast Inferencing Binarized Transformer with Early Exits
by: Ansar, Wazib, et al.
Published: (2024)

Grounded learning for compositional vector semantics
by: Lewis, Martha
Published: (2024)

Neuronal Group Communication for Efficient Neural representation
by: Pei, Zhengqi, et al.
Published: (2025)

ToxSearch: Evolving Prompts for Toxicity Search in Large Language Models
by: Shelar, Onkar, et al.
Published: (2025)

LPC-SM: Local Predictive Coding and Sparse Memory for Long-Context Language Modeling
by: Xie, Keqin
Published: (2026)

Towards Explainable Evolution Strategies with Large Language Models
by: Baumann, Jill, et al.
Published: (2024)

Controlled Self-Evolution for Algorithmic Code Optimization
by: Hu, Tu, et al.
Published: (2026)

Semantic Mirror Jailbreak: Genetic Algorithm Based Jailbreak Prompts Against Open-source LLMs
by: Li, Xiaoxia, et al.
Published: (2024)

QUBE: Enhancing Automatic Heuristic Design via Quality-Uncertainty Balanced Evolution
by: Chen, Zijie, et al.
Published: (2024)

LLMatic: Neural Architecture Search via Large Language Models and Quality Diversity Optimization
by: Nasir, Muhammad U., et al.
Published: (2023)

Benchmarking GPT-4 on Algorithmic Problems: A Systematic Evaluation of Prompting Strategies
by: Petruzzellis, Flavio, et al.
Published: (2024)

Text-Utilization for Encoder-dominated Speech Recognition Models
by: Zeyer, Albert, et al.
Published: (2026)

'Neural howlround' in large language models: a self-reinforcing bias phenomenon, and a dynamic attenuation solution
by: Drake, Seth
Published: (2025)

DARWIN: Dynamic Agentically Rewriting Self-Improving Network
by: Jiang, Henry
Published: (2026)

Evolutionary Computation in the Era of Large Language Model: Survey and Roadmap
by: Wu, Xingyu, et al.
Published: (2024)

Feature Selection Empowered BERT for Detection of Hate Speech with Vocabulary Augmentation
by: Desai, Pritish N., et al.
Published: (2025)

Exploring Synaptic Resonance in Large Language Models: A Novel Approach to Contextual Memory Integration
by: Applegarth, George, et al.
Published: (2025)