https://openaccess.city.ac.uk/id/eprint/28163/
City Research Online - Neural-Symbolic Reasoning Under Open-World and Closed-World Assumptions
research onlinesymbolic reasoning
https://open.clemson.edu/all_dissertations/2932/
"A Human-Centric System for Symbolic Reasoning About Code" by Megan Fowler
While testing and tracing on specific input values are useful starting points for students to understand program behavior, ultimately students need to be able...
a humansymbolic reasoning
https://arxiv.org/abs/2406.17961v2
[2406.17961v2] NormTab: Improving Symbolic Reasoning in LLMs Through Tabular Data Normalization
Abstract page for arXiv paper 2406.17961v2: NormTab: Improving Symbolic Reasoning in LLMs Through Tabular Data Normalization
symbolic reasoning
https://news.vancouverchronicles.com/canadian-news/202511/290909-ehconomics-launches-ehco1-superintelligence-with-novel-symbolic-reasoning-architecture
EHCOnomics Launches EHCO1 Superintelligence with Novel Symbolic Reasoning Architecture | Vancouver...
symbolic reasoninglaunchessuperintelligencenovelarchitecture
https://www.evergreen.edu/academics/academic-career-services/quasr-center
Quantitative and Symbolic Reasoning Center | The Evergreen State College
symbolic reasoningthe evergreenquantitativecenterstate
https://www.ai-reasoning.net/
Neuro-Symbolic AI Lab | Reasoning
Neuro-Symbolic AI Lab | Reasoning The Neuro-Symbolic AI Lab has the mission of building the foundations to deliver complex and controlled AI reasoning. We...
symbolic aineurolabreasoning
https://openreview.net/forum?id=QxbPLl3q8f
SymAgent: A Neural-Symbolic Self-Learning Agent Framework for Complex Reasoning over Knowledge...
Recent advancements have highlighted that Large Language Models (LLMs) are prone to hallucinations when solving complex reasoning problems, leading to...
https://research.jku.at/en/publications/verification-of-imperative-programs-using-symbolic-execution-and-/
Verification of Imperative Programs using Symbolic Execution and Forward Reasoning in the Theorema...