Search: github.com/reasonink | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

HoarePrompt: Structural Reasoning About Program Correctness in Natural Language

github.com/msv-lab

a year ago

6 points

62.

The Abstraction and Reasoning Corpus

github.com/fchollet

2 years ago

6 points

63.

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

github.com/groundlight

a year ago

5 points

64.

Show HN: Open-source AI assistant for interview reasoning

github.com/evinjohnn

4 months ago

5 points

65.

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning

github.com/deepseek-ai

7 months ago

5 points

66.

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

gist.github.com

2 months ago

5 points

67.

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

github.com/lechmazur

a year ago

5 points

68.

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

github.com/spamegg1

3 years ago

4 points

69.

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

github.com/sumant1122

3 months ago

4 points

70.

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

github.com/dx111ge

4 months ago

4 points

71.

Lorenzo Battistela Reproduces Hierarchical Reasoning Model

github.com/sapientinc

a year ago

4 points

72.

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

a year ago

4 points

73.

Open Thoughts: open data curation for reasoning models

github.com/open-thoughts

a year ago

4 points

74.

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

a year ago

4 points

75.

MM-React: Multimodal Reasoning and Action with ChatGPT

github.com/microsoft

3 years ago

4 points

76.

Poetiq: SOTA Reasoning on ARC-AGI

github.com/poetiq-ai

7 months ago

4 points

77.

Injecting doubts in CoT of reasoning models

github.com/martianlantern

10 months ago

4 points

78.

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

github.com/zoecarver

10 months ago

4 points

79.

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

a year ago

4 points

80.

Abstraction and Reasoning Corpus

github.com/fchollet

7 years ago

4 points

81.

Show HN: A reasoning model that infers over whole tasks in 1ms in latent space

github.com/OrderOneAI

a year ago

3 points

82.

Show HN: Klarity – OS tool to debug LLM reasoning patterns with entropy analysis

github.com/klara-research

a year ago

3 points

83.

Making GPT-2 better at math reasoning with a new attention mechanism

github.com/Kim-Ai-gpu

8 months ago

3 points

84.

AIngram – SQLite shared reasoning memory for agent loops, no API keys

github.com/bozbuilds

2 months ago

3 points

85.

Show HN: SkeptAI – adversarial reasoning agent that challenges LLM outputs

3 months ago

3 points

86.

SketchVLM: Letting VLMs draw on images while explaining their reasoning

github.com/Brandon-Collins7

2 months ago

3 points

87.

Show HN: A Geometric Algebra NN Framework (100% on 13-hop reasoning)

github.com/Concode0

3 months ago

3 points

88.

AI reasoning enhancement through bias elimination

github.com/OscarLawrence

10 months ago

3 points

89.

Native Parallel Reasoner: Self-Evolving to Learn Parallel Reasoning

6 months ago

3 points

90.

Show HN: I made a semantic OS for language reasoning (not kidding)

github.com/onestardao

a year ago

3 points