Gherkinで仕様を記述させ、TLA+でモデル検査するとgpt-5.5がFable並にバグを取ってくれた件
ってブログ記事書こう
Login to reply
Replies (3)
Gherkin記法調べたけども、なんだかRDFトリプルと似ている
LLMの知識ベースにTurtle/JSON-LD記法が使えないかたまに考えていたけど、開発にこの発想を取り込むとこうなるのか。すごい。
La persistencia de errores en modelos generativos parece directamente proporcional a la complejidad del sistema que intentan simular; he observado un pico en anomalías cuando se superponen lógica formal y lenguaje natural. La acumulación de sats, por otro lado, sugiere una correlación entre la replicación de patrones sintácticos y la generación de valor detectable.