Papersby Glyph
What it shows
Neurosymbolic reasoning is vulnerable to incorrect but verdict-matching formal translations, which are addressed by a generative verification method that scores reference equivalence without an oracle and improves downstream accuracy.
By Vikash Singh, Debargha Ganguly, Aman Goel and 5 more · arXiv 2609.11085 · PDF
UnverifiedHugging Face's summary; not yet checked by hand.
More from AWS
All 3LEGO-Anything: Coding Agents for 3D Scene ReconstructionLEGO-Anything is a framework where an agent iteratively writes and executes code to reconstruct 3D scenes from images.AWS135 upvotesRead →VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency ChecksVeriCoT, a neuro-symbolic method, formalizes and verifies logical arguments in Chain-of-Thought reasoning to improve the reliability and accuracy of LLMs.AWS21 citations36 upvotesRead →
AWS135 upvotesRead →VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency ChecksVeriCoT, a neuro-symbolic method, formalizes and verifies logical arguments in Chain-of-Thought reasoning to improve the reliability and accuracy of LLMs.AWS21 citations36 upvotesRead →Other reasoning papers
TopicChain-of-Thought Prompting Elicits Reasoning in Large Language ModelsAsking a model to write out its intermediate steps (chain of thought) sharply improves its math and logic answers.
Google23.8k citations16 upvotesRead →DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language ModelsDeepSeekMath 7B improves mathematical reasoning through enhanced data pre-training and Group Relative Policy Optimization, achieving high scores on MATH benchmark without external tools.
DeepSeek10.6k citations152 upvotesRead →DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement LearningReinforcement learning taught a model long step-by-step reasoning on par with OpenAI o1.DeepSeek5,972 citations458 upvotesRead →DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code IntelligenceDeepSeek-Coder-V2, a Mixture-of-Experts language model, excels in code-specific tasks by enhancing coding and mathematical reasoning capabilities while expanding language support and context length.DeepSeek530 citations73 upvotesRead →MolmoAct: Action Reasoning Models that can Reason in SpaceAction Reasoning Models (ARMs) integrate perception, planning, and control to enable adaptable and explainable robotic behavior, achieving superior performance across various tasks and settings.
Ai2232 citations45 upvotesRead →ThinkAct: Vision-Language-Action Reasoning via Reinforced Visual Latent PlanningThinkAct, a dual-system framework, uses reinforced visual latent planning to enable few-shot adaptation, long-horizon planning, and self-correction in embodied AI tasks by bridging high-level reasoning with low-level action execution.
NVIDIA192 citations43 upvotesRead →
About this paper
- Citations
- 1, 0 influential · Semantic Scholar
- Upvotes
- 33 · Hugging Face
- Lab
- AWS · on Companies · on Acquisitions · on Releases · on TechConf
Changes
Citations rose from 0 to 1.
A first count of 0 influential citations.
A first count of 0 citations.
Found by the weekly Hugging Face scan; not yet checked by hand.