Search: github.com/reasonink | Heykuki News

HK

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

7 months ago

1 points

32.

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

a year ago

4 points

33.

Xiaomi MiMo Reasoning Model

github.com/XiaomiMiMo

a year ago

482 points

34.

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

a year ago

397 points

35.

MiniMax-M1 open-weight, large-scale hybrid-attention reasoning model

github.com/MiniMax-AI

a year ago

349 points

36.

g1: Using Llama-3.1 70B on Groq to create o1-like reasoning chains

github.com/bklieger-groq

2 years ago

334 points

37.

ProofOfThought: LLM-based reasoning using Z3 theorem proving

github.com/DebarghaG

9 months ago

326 points

38.

Less is more: Recursive reasoning with tiny networks

alexiajm.github.io

9 months ago

323 points

39.

Emerging reasoning with reinforcement learning

hkust-nlp.notion.site

a year ago

248 points

40.

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning [pdf]

github.com/deepseek-ai

7 months ago

231 points

41.

Limbo – A Reasoning System for First-Order Limited Belief

github.com/schwering

9 years ago

143 points

42.

Chain-of-Thought Hub: Measuring LLMs' Reasoning Performance

github.com/FranxYao

3 years ago

114 points

43.

Document reasoning to block DNS to 127.0.0.1

github.com/easylist

3 years ago

68 points

44.

Show HN: skills-for-humanity – 171 structured reasoning skills for Claude Code

github.com/human-avatar

a month ago

28 points

45.

Show HN: Phidata – Build AI Agents with memory, knowledge, tools and reasoning

github.com/phidatahq

2 years ago

27 points

46.

Hierarchical Reasoning Model – 1k training samples SoTA reasoning v/s CoT

github.com/sapientinc

a year ago

26 points

47.

TypeScript team's reasoning for rejecting typed/checked exceptions

github.com/microsoft

3 years ago

19 points

48.

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

a year ago

17 points

49.

Less Is More: Recursive Reasoning with Tiny Networks

github.com/SamsungSAILMontreal

8 months ago

13 points

50.

Show HN: WFGY – A reasoning engine that repairs LLM logic without retraining

github.com/onestardao

a year ago

11 points

51.

Show HN: TXT OS – Open-Source AI Reasoning, One Plain-Text File at a Time

github.com/onestardao

a year ago

10 points

52.

Tora: A Tool-Integrated Reasoning Agent

github.com/microsoft

3 years ago

10 points

53.

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning

github.com/deepseek-ai

7 months ago

9 points

54.

Show HN: Bazaar – a new LLM benchmark for economic reasoning under uncertainty

github.com/lechmazur

a year ago

8 points

55.

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

10 months ago

8 points

56.

Open Thoughts: Curating the best reasoning datasets

github.com/open-thoughts

a year ago

8 points

57.

BAbI tasks: Task generation for testing text understanding and reasoning

github.com/facebook

11 years ago

7 points

58.

Show HN: Deep Research – Open-Source Customizable Reasoning Framework for Devs

github.com/JigsawStack

a year ago

7 points

59.

Neurosymbolic AI server combining Prolog's symbolic reasoning with MCP

github.com/adamrybinski

8 months ago

6 points

60.

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

github.com/onestardao

a year ago

6 points