Research map / Large language models / Agents, code and math
Neuro-symbolic Learning Yielding Logical Constraints
Read the paperCheck your idea against 108,967 papers
AI-extracted summary. Written by AI from the paper's title only (no summary yet). Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.
Measured effects reported in the paper
| What was changed | Where | Measured | Effect |
|---|---|---|---|
| Apply dataset shift | Neuro-symbolic framework · Visual Sudoku | accuracy | Hurt |
Closest papers by meaning
- Constraints-Guided Diffusion Reasoner for Neuro-Symbolic Learning (AAAI 2026 · similarity 0.90)
- Deciphering Raw Data in Neuro-Symbolic Learning with Provable Guarantees (AAAI 2024 · similarity 0.89)
- Verification Learning: Make Unsupervised Neuro-Symbolic System Feasible (ICML 2025 · similarity 0.89)
- A learnability analysis on neuro-symbolic learning (NeurIPS 2025 · similarity 0.88)
- Position: The Road to Generalizable Neuro-Symbolic Learning Should be Paved with Foundation Models (NeurIPS 2026 · similarity 0.88)
- Logically Consistent Language Models via Neuro-Symbolic Integration (ICLR 2025 · similarity 0.87)
Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.
