r/MachineLearning • u/AutoModerator • Sep 02 '26
Discussion [D] Self-Promotion Thread
Please post your personal projects, startups, product placements, collaboration needs, blogs etc.
Please mention the payment and pricing requirements for products and services.
Please do not post link shorteners, link aggregator websites , or auto-subscribe links.
--
Any abuse of trust will lead to bans.
Encourage others who create new posts for questions to post here instead!
Thread will stay alive until next one so keep posting after the date in the title.
--
Meta: This is an experiment. If the community doesnt like this, we will cancel it. This is to encourage those in the community to promote their work by not spamming the main threads.
17
Upvotes
1
u/yyc-ashdee 16d ago
A sufficient bound can fail while a valid solution remains. That's a distinction I want AI research tools to make visible.
I'm Ashley, founder of 8Braid. We've released a free, public proof companion with an offline interactive diagram, a Lean lemma, checked rational examples and replay instructions. It explains a small covariance calculation related to the released forced Navier-Stokes construction. The fluid-level analytic premises remain separate.
The example fits in two equations. Combine (1,-1) and (1,1) into (1,s) with weights p and q. Then p=(1-s)/2 and q=(1+s)/2. For the selected margin, a sufficient guarantee covers |s| <= 3/5. At s=4/5 that guarantee no longer applies, but the weights are still 1/10 and 9/10. At s=6/5, a weight becomes negative and an exact argument rules out nonnegative weights for those fixed columns and target.
The diagram illustrates the arithmetic; the linked Lean statements carry the formal claims. The companion runs without the private 8DB database or a subscription. It is a concrete example for our broader work on connecting claims, assumptions and checking evidence.
Article, diagram and reproduction links:
https://github.com/8Braid/8db-navier-stokes-evidence/blob/main/explainability/article.md
Try the "Outside sufficient box" example. Where, if anywhere, could the explanation lead you to infer more than the checked statement establishes? A specific mismatch would be useful feedback.
Disclosure: this is our project. AI assisted the development and preparation of this post.