Search: github.com/reasonink | Heykuki News

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)

6 points

a year ago

62.

The Abstraction and Reasoning Corpus (github.com/fchollet)

6 points

2 years ago

63.

Show HN: r1_vlm – Open-Source Framework for Visual Reasoning with GRPO (github.com/groundlight)

5 points

a year ago

64.

Show HN: Open-source AI assistant for interview reasoning (github.com/evinjohnn)

5 points

4 months ago

65.

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning (github.com/deepseek-ai)

5 points

6 months ago

66.

I blind A/B tested 40 Claude prompt codes, only 7 shift reasoning (gist.github.com)

5 points

a month ago

67.

Elimination Game: Multi-Agent LLM Social Reasoning, Strategy, and Deception (github.com/lechmazur)

5 points

a year ago

68.

Strong reasoning skills and mathematical thinking is important to program well? (github.com/spamegg1)

4 points

3 years ago

69.

BookGraph: Moving beyond naive RAG with graph-native AI reasoning (github.com/sumant1122)

4 points

3 months ago

70.

Engram – AI memory engine: knowledge graph, search, reasoning in one binary (github.com/dx111ge)

4 points

3 months ago

71.

Lorenzo Battistela Reproduces Hierarchical Reasoning Model (github.com/sapientinc)

4 points

10 months ago

72.

Show HN: Single-agent long-horizon reasoning within one LLM run (huggingface.co)

4 points

10 months ago

73.

Open Thoughts: open data curation for reasoning models (github.com/open-thoughts)

4 points

a year ago

74.

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

4 points

a year ago

75.

MM-React: Multimodal Reasoning and Action with ChatGPT (github.com/microsoft)

4 points

3 years ago

76.

Poetiq: SOTA Reasoning on ARC-AGI (github.com/poetiq-ai)

4 points

6 months ago

77.

Injecting doubts in CoT of reasoning models (github.com/martianlantern)

4 points

10 months ago

78.

Visual Reasoning and Tool Use Double GPT-5's Arc-AGI-2 Success Rate (github.com/zoecarver)

4 points

10 months ago

79.

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

4 points

a year ago

80.

Abstraction and Reasoning Corpus (github.com/fchollet)

4 points

7 years ago

81.

Show HN: A reasoning model that infers over whole tasks in 1ms in latent space (github.com/OrderOneAI)

3 points

a year ago

82.

Show HN: Klarity – OS tool to debug LLM reasoning patterns with entropy analysis (github.com/klara-research)

3 points

a year ago

83.

Making GPT-2 better at math reasoning with a new attention mechanism (github.com/Kim-Ai-gpu)

3 points

7 months ago

84.

AIngram – SQLite shared reasoning memory for agent loops, no API keys (github.com/bozbuilds)

3 points

2 months ago

85.

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

3 points

3 months ago

86.

SketchVLM: Letting VLMs draw on images while explaining their reasoning (github.com/Brandon-Collins7)

3 points

a month ago

87.

Show HN: A Geometric Algebra NN Framework (100% on 13-hop reasoning) (github.com/Concode0)

3 points

2 months ago

88.

AI reasoning enhancement through bias elimination (github.com/OscarLawrence)

3 points

10 months ago

89.

Native Parallel Reasoner: Self-Evolving to Learn Parallel Reasoning

3 points

6 months ago

90.

Show HN: I made a semantic OS for language reasoning (not kidding) (github.com/onestardao)

3 points

10 months ago