Papersby Glyph
AWS research papers
A company publishing mostly on reasoning, best known here for VeriCoT.3 papers · 22 citations · latest Sep 2026
LEGO-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 →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 →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 →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 →