Projects

Tracked 7088 indie products across GitHub, Hacker News, Product Hunt & YouTube. Sorted by GitHub stars — open a non-GitHub project for its cross-platform detail.

1 of 1

Filtered by tag#path-finding

		Category	Source		Forks
	A knowledge graph of 15,941 math states – proof as path-finding This project constructs a knowledge graph from 15,941 mathematical statements, m… #knowledge-graph #mathematics #proof #path-finding	data	HN	—	—	0

A knowledge graph of 15,941 math states – proof as path-findingHN

This project constructs a knowledge graph from 15,941 mathematical statements, modeling proofs as paths between nodes to enable automated theorem proving via graph search. It is designed for researche…

data — —

#knowledge-graph #mathematics #proof #path-finding #dataset

Showing 1–1 of 1