buberlo/veriscs - 4 Help Wanted Issues

Open Issues Need Help

Prove a faster implementation equivalent to Executable.solve 28 days ago

help wanted

First executable, machine-checked (Lean 4) 2-approximation for Shortest Common Superstring — a verified reference/oracle, packaged from openai/math family 128

Lean

#algorithms#approximation-algorithms#bioinformatics#formal-verification#lean4#shortest-common-superstring#theorem-proving#verified-software

Add measured benchmark instances beyond the current suite 28 days ago

help wanted good first issue

buberlo/veriscs

First executable, machine-checked (Lean 4) 2-approximation for Shortest Common Superstring — a verified reference/oracle, packaged from openai/math family 128

Lean

#algorithms#approximation-algorithms#bioinformatics#formal-verification#lean4#shortest-common-superstring#theorem-proving#verified-software

Add a small instance where greedy is longer than the exact optimum 28 days ago

help wanted good first issue

buberlo/veriscs

First executable, machine-checked (Lean 4) 2-approximation for Shortest Common Superstring — a verified reference/oracle, packaged from openai/math family 128

Lean

#algorithms#approximation-algorithms#bioinformatics#formal-verification#lean4#shortest-common-superstring#theorem-proving#verified-software

Review IsCommonSuperstring and opt against the classical SCS problem 28 days ago

help wanted good first issue

buberlo/veriscs

First executable, machine-checked (Lean 4) 2-approximation for Shortest Common Superstring — a verified reference/oracle, packaged from openai/math family 128

Lean

#algorithms#approximation-algorithms#bioinformatics#formal-verification#lean4#shortest-common-superstring#theorem-proving#verified-software