Showcase: Smoothstep-Based $G^\infty$ curve

Stream: Machine Learning for Theorem Proving

[West]

https://github.com/wildwestrom/smoothstep-curve-proof/tree/main

Check it. Over the course of a few months, (and over $60 in Cursor subscription fees) I've found a way to create classes of functions that satisfy 4 mathematical properties I wanted.

Here's the Cursor rule I used: https://gist.github.com/wildwestrom/55f7b11b3ab821e517e0c6d1bd31a5c2

[Kim Morrison]

I am skeptical there is anything here.