Tag: formal-language

Showing 1-1 of 1

Feb 18, 20267 min readTooling Deep DiveAdvanced240 min build

Building an AI-Chat Evaluation Harness for He Xin's PEPC Formal Language (Part 2)

Build an AI-chat evaluation harness for He Xin’s PEPC formal language to test expressiveness, contradiction handling, and alignment with wargame baselines — includes artifacts and metrics.

PEPC He Xin formal-language evaluation LLM

+3 more