Avatar for TimeLordRaps from gravatar.com

TimeLordRaps

Username    TylerRoost
Date joined   Joined

2 projects

satisfiable-ai

Last released

HuggingFace dataset wrappers for SAT-verified training data

satisfaction-suffices

Last released

SAT-gated structural containment for AI — verification gate, four-verdict system, proof evolution, and paradox logic

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page