genpark-unified-llm-alignment-dpo-lora-training-suite-skill vs genpark-formal-mathematical-alignment-verification-prover-skill
Side-by-side comparison of two Ai projects on AiList.
Tagline
Unified LLM alignment suite orchestrating DPO & LoRA runs (Llama-Factory style)
Formal mathematical alignment verification prover for safe AI (SSI style)
GitHub Stars
8
8
Stars This Week
—
—
Language
—
—
License
—
—
Built With
—
—
Views
23
23
Clicks
0
0