Popular repositories Loading

1. four-color-theorem-verification four-color-theorem-verification Public

   Independent mechanical re-verification of Robertson-Sanders-Seymour-Thomas 1997 Four Color Theorem: 633 configurations reducible + 5 presents verified on Windows/MSYS2, with LLM audit and rules-min…

   C 1 1

2. user-config-defense-patterns user-config-defense-patterns Public

   Defense patterns for the user-controlled config layer of LLM coding agents. Pilot study (n=5) on Always-Loaded Guard Rules. v1.0.

3. faers-chei-sexual-disinhibition faers-chei-sexual-disinhibition Public

   Analysis code and derived results for: Cholinesterase inhibitors and sexual disinhibition in dementia - a FAERS disproportionality study (Naunyn-Schmiedeberg's Arch Pharmacol, doi:10.1007/s00210-02…

   Python