home.social
Sign in Create account

#provingbounds — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #provingbounds, aggregated by home.social.

  1. Hacker News @[email protected] ·

    Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4

    abhamra.com/blog/randomized-ma

    #HackerNews #ProvingBounds #RandomizedMaxCut #ApproximationAlgorithm #Lean4 #HackerNews

    #hackernews #provingbounds #randomizedmaxcut #approximationalgorithm #lean4
  2. Hacker News @[email protected] ·

    Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4

    abhamra.com/blog/randomized-ma

    #HackerNews #ProvingBounds #RandomizedMaxCut #ApproximationAlgorithm #Lean4 #HackerNews

    #hackernews #provingbounds #randomizedmaxcut #approximationalgorithm #lean4
  3. Hacker News @[email protected] ·

    Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4

    abhamra.com/blog/randomized-ma

    #HackerNews #ProvingBounds #RandomizedMaxCut #ApproximationAlgorithm #Lean4 #HackerNews

    #hackernews #provingbounds #randomizedmaxcut #approximationalgorithm #lean4
  4. Hacker News @[email protected] ·

    Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4

    abhamra.com/blog/randomized-ma

    #HackerNews #ProvingBounds #RandomizedMaxCut #ApproximationAlgorithm #Lean4 #HackerNews

    #lean4 #approximationalgorithm #randomizedmaxcut #provingbounds #hackernews
  5. Hacker News @[email protected] ·

    Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4

    abhamra.com/blog/randomized-ma

    #HackerNews #ProvingBounds #RandomizedMaxCut #ApproximationAlgorithm #Lean4 #HackerNews

    #hackernews #provingbounds #randomizedmaxcut #approximationalgorithm #lean4