Search: github.com/reasonink | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Show HN: Civilization Patch – An Emotional Entropy Regulator for LLMs (github.com/rain1955)

1 point

6 months ago

32.

Show HN: Distill your own model from DeepSeek R1 in 30 mins (open+GUI)

4 points

a year ago

33.

Xiaomi MiMo Reasoning Model (github.com/XiaomiMiMo)

482 points

a year ago

34.

Show HN: AutoThink – Boosts local LLM performance with adaptive reasoning

397 points

a year ago

35.

MiniMax-M1 open-weight, large-scale hybrid-attention reasoning model (github.com/MiniMax-AI)

349 points

a year ago

36.

g1: Using Llama-3.1 70B on Groq to create o1-like reasoning chains (github.com/bklieger-groq)

334 points

2 years ago

37.

ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com/DebarghaG)

326 points

8 months ago

38.

Less is more: Recursive reasoning with tiny networks (alexiajm.github.io)

323 points

8 months ago

39.

Emerging reasoning with reinforcement learning (hkust-nlp.notion.site)

248 points

a year ago

40.

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

231 points

6 months ago

41.

Limbo – A Reasoning System for First-Order Limited Belief (github.com/schwering)

143 points

9 years ago

42.

Chain-of-Thought Hub: Measuring LLMs' Reasoning Performance (github.com/FranxYao)

114 points

3 years ago

43.

Document reasoning to block DNS to 127.0.0.1 (github.com/easylist)

68 points

3 years ago

44.

Show HN: skills-for-humanity – 171 structured reasoning skills for Claude Code (github.com/human-avatar)

28 points

9 days ago

45.

Show HN: Phidata – Build AI Agents with memory, knowledge, tools and reasoning (github.com/phidatahq)

27 points

2 years ago

46.

Hierarchical Reasoning Model – 1k training samples SoTA reasoning v/s CoT (github.com/sapientinc)

26 points

10 months ago

47.

TypeScript team's reasoning for rejecting typed/checked exceptions (github.com/microsoft)

19 points

3 years ago

48.

Show HN: QwQ-32B APIs – o1 like reasoning at 1% the cost

17 points

a year ago

49.

Less Is More: Recursive Reasoning with Tiny Networks (github.com/SamsungSAILMontreal)

13 points

8 months ago

50.

Show HN: WFGY – A reasoning engine that repairs LLM logic without retraining (github.com/onestardao)

11 points

a year ago

51.

Show HN: TXT OS – Open-Source AI Reasoning, One Plain-Text File at a Time (github.com/onestardao)

10 points

a year ago

52.

Tora: A Tool-Integrated Reasoning Agent (github.com/microsoft)

10 points

3 years ago

53.

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

9 points

6 months ago

54.

Show HN: Bazaar – a new LLM benchmark for economic reasoning under uncertainty (github.com/lechmazur)

8 points

10 months ago

55.

Show HN: Neuron – Cognitive Multi-Agent Architecture for Reasoning

8 points

9 months ago

56.

Open Thoughts: Curating the best reasoning datasets (github.com/open-thoughts)

8 points

a year ago

57.

BAbI tasks: Task generation for testing text understanding and reasoning (github.com/facebook)

7 points

11 years ago

58.

Show HN: Deep Research – Open-Source Customizable Reasoning Framework for Devs (github.com/JigsawStack)

7 points

a year ago

59.

Neurosymbolic AI server combining Prolog's symbolic reasoning with MCP (github.com/adamrybinski)

6 points

7 months ago

60.

Show HN: A tiny reasoning layer that steadies LLM outputs (MIT; +22.4% accuracy) (github.com/onestardao)

6 points

10 months ago