Neural-Symbolic AI

Feeds to Scour
SubscribedAll
Scoured 19 posts in 6.1 ms

A Neurosymbolic Prolog Skill for LLM-Driven Service Placement

 💬LLMs  Content type: Academic
arxiv.org·
Less-relevant results

Neurosymbolic AI: fundamental learning for context engineering in computational linguistics

 💬LLMs  Content type: Academic
nature.com·

No need to panic about Anthropic’s new blog, and some more good news

 📊Prediction Markets  Content type: News  Content type: Blog
garymarcus.substack.com··Substack

Looking for Signs of Intelligence in Chatbots

 🧪Agent Evaluation
nautil.us·

mingusb/transformer-golf: The Fully Unrolled Transformer: An experimental repository for architecture simplification and compilation. [2026]

 💬LLMs  Content type: Code
github.com··Hacker News

Paper: LLM Translation of Compiler Intermediate Representation

 💬LLMs
compilers.iecc.com·

EditSR: Enhancing Neural Symbolic Regression via Edit-based Rectification

 💬LLMs  Content type: Academic
arxiv.org·

Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies

 📐Formal Languages  Content type: Academic
arxiv.org·

Symbolic and Abstractive Reasoning with Complex Visual Queries

 🃏Imperfect Information Games  Content type: Academic
arxiv.org·

BiNSGPS: Geometry Problem Solving via Bidirectional Neuro-Symbolic Interaction

 🌳Decision-Time Planning  Content type: Academic
arxiv.org·

Agentic Neuro-Symbolic Planning and Commissioning for Human-in-the-Loop Industrial Robotics with Digital Twins

 🌳Decision-Time Planning  Content type: Academic
arxiv.org·

Bridging Semantics and Physical Execution: A Neuro-Symbolic Framework for Multi-Pair Robotic Assembly

 🌳Decision-Time Planning  Content type: Academic
arxiv.org·

Neuro-Symbolic Learning for Long-Horizon Task Planning Under Complex Logical Constraints

 🌳Decision-Time Planning  Content type: Academic
arxiv.org·

Simulate, Reason, Decide: Scientific Reasoning with LLMs for Simulation-Driven Decision Making

 🧪Agent Evaluation  Content type: Academic
arxiv.org·

Trustworthy Visual Predicates for Robust Manipulation Understanding under Degradation

 🃏Imperfect Information Games  Content type: Academic
arxiv.org·

When Should We Protect AI? A Precautionary Framework for Consciousness Uncertainty

 🃏Imperfect Information Games  Content type: Academic
arxiv.org·

SPIN: Decentralized Swarm Control via Tensorized Policy Coordination

 🌳Decision-Time Planning  Content type: Academic
arxiv.org·

Compile Once, Differentiate Everywhere: A Differentiable Meta-Circular Interpreter

 ✓Formal Verification  Content type: Academic
arxiv.org·

Domain-Adapted Small Language Models with Hybrid Post-Processing: Achieving Cost-Efficient, Low-Latency Multi-Label Structured Prediction via LoRA Fine-Tuning on Scarce Data

 💬LLMs  Content type: Academic
arxiv.org·

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help