Papersby Glyph
What it shows
VeriCoT, a neuro-symbolic method, formalizes and verifies logical arguments in Chain-of-Thought reasoning to improve the reliability and accuracy of LLMs.
By Yu Feng, Nathaniel Weir, Kaj Bostrom and 5 more · arXiv 2511.04662 · 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 →Beyond Solver Verdicts: Generative Reward Models for AutoformalizationNeurosymbolic 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.AWS1 citations33 upvotesRead →
AWS135 upvotesRead →Beyond Solver Verdicts: Generative Reward Models for AutoformalizationNeurosymbolic 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.AWS1 citations33 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
- Venue
- International Conference on Learning Representations
- Citations
- 21, 2 influential · Semantic Scholar
- Upvotes
- 36 · Hugging Face
- Lab
- AWS · on Companies · on Acquisitions · on Releases · on TechConf
Changes
Citations rose from 18 to 21.
Influential citations rose from 1 to 2.
Citations rose from 16 to 18.
Citations rose from 15 to 16.
A first count of 1 influential citations.
A first count of 15 citations.
Found by the weekly Hugging Face scan; not yet checked by hand.