Formal Methods | Wenkai Xinghttps://xwk-911.github.io/tags/formal-methods/Formal MethodsHugoBlox Kit (https://hugoblox.com)en-usTue, 21 Jul 2026 00:00:00 +0000https://xwk-911.github.io/media/icon_hu_1c0e9cb08cfb822a.pngFormal Methodshttps://xwk-911.github.io/tags/formal-methods/Hybrid Natural and Formal Language Verifierhttps://xwk-911.github.io/projects/hybrid-natural-formal-verifier/Tue, 21 Jul 2026 00:00:00 +0000https://xwk-911.github.io/projects/hybrid-natural-formal-verifier/<p>This verifier combines natural-language specifications with formal specifications, allowing users to trade token budget for stronger and more reliable safety assurances.</p> <p>It is more precise than natural-language specifications while making precise feedback on specification and code correctness easier to obtain than with traditional formal specifications alone.</p> <p> </p>