Search: github.com/REAS | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

Neurosymbolic AI server combining Prolog's symbolic reasoning with MCP

github.com/adamrybinski

8 months ago

6 points

152.

Show HN: A tiny reasoning layer that steadies LLM outputs (MIT; +22.4% accuracy)

github.com/onestardao

a year ago

6 points

153.

HoarePrompt: Structural Reasoning About Program Correctness in Natural Language

github.com/msv-lab

a year ago

6 points

154.

Deepseek R1 Zero learns to reason using reinforcement learning on base model [pdf]

github.com/deepseek-ai

a year ago

6 points

155.

The Abstraction and Reasoning Corpus

github.com/fchollet

2 years ago

6 points

156.

Show HN: r1_vlm – Open-Source Framework for Visual Reasoning with GRPO

github.com/groundlight

a year ago

5 points

157.

Show HN: Open-source AI assistant for interview reasoning

github.com/evinjohnn

5 months ago

5 points

158.

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning

github.com/deepseek-ai

7 months ago

5 points

159.

Revery: Native ReasonML cross platform UI

github.com/revery-ui

7 years ago

5 points

160.

Braid: A functional language with Reason-like syntax that compiles to Go

github.com/joshsharp

8 years ago

5 points

161.

Reasonably strong Computer Go (board game) AI in 540 lines of Python

github.com/pasky

11 years ago

5 points

162.

Airbnb JavaScript Style Guide – A Mostly Reasonable Approach to JavaScript

github.com/airbnb

11 years ago

5 points

163.

I blind A/B tested 40 Claude prompt codes, only 7 shift reasoning

gist.github.com

2 months ago

5 points

164.

Elimination Game: Multi-Agent LLM Social Reasoning, Strategy, and Deception

github.com/lechmazur

a year ago

5 points

165.

Show HN: Use ReasonML to Send JavaScript to Google-Closure via Java and JNI, Optimized Res

github.com/fxfactorial

9 years ago

5 points

166.

Zero-hallucination knowledge engine – LLM never reasons, graph does all the work

github.com/skvcool-rgb

3 months ago

4 points

167.

Strong reasoning skills and mathematical thinking is important to program well?

github.com/spamegg1

3 years ago

4 points

168.

Ask HN: Google took down Chrome Extension without reason. What should I do now?

8 years ago

4 points

169.

BookGraph: Moving beyond naive RAG with graph-native AI reasoning

github.com/sumant1122

3 months ago

4 points

170.

Engram – AI memory engine: knowledge graph, search, reasoning in one binary

github.com/dx111ge

4 months ago

4 points

171.

Lorenzo Battistela Reproduces Hierarchical Reasoning Model

github.com/sapientinc

a year ago

4 points

172.

Show HN: Single-agent long-horizon reasoning within one LLM run

a year ago

4 points

173.

Open Thoughts: open data curation for reasoning models

github.com/open-thoughts

a year ago

4 points

174.

Show HN: Quantum-Enhanced Mathematical Reasoning System – Expert Verification

a year ago

4 points

175.

MM-React: Multimodal Reasoning and Action with ChatGPT

github.com/microsoft

3 years ago

4 points

176.

Show HN: GitHub Repo Agent – an agent that explores and reasons on GitHub repos

github.com/gauravvij

4 months ago

4 points

177.

Poetiq: SOTA Reasoning on ARC-AGI

github.com/poetiq-ai

7 months ago

4 points

178.

Injecting doubts in CoT of reasoning models

github.com/martianlantern

10 months ago

4 points

179.

Visual Reasoning and Tool Use Double GPT-5's Arc-AGI-2 Success Rate

github.com/zoecarver

10 months ago

4 points

180.

Show HN: DeepThink Plugin – Bring Gemini 2.5's parallel reasoning to open models

a year ago

4 points