Formal methods with Hillel Wayne (The Pragmatic Engineer Podcast)
Source
Gergely Orosz
Author
Gergely Orosz
Date
Terms in this piece · Glossary
grounding — Tying a model's answers to checkable sources — retrieved documents, live data, tool results — instead of letting it answer from memory alone.
Why it matters
A groundingTying a model's answers to checkable sources — retrieved documents, live data, tool results — instead of letting it answer from memory alone.Full definition → answer to whether AI-written code makes formal verification necessary, plus property-based testing as the practical middle ground when a full TLA+ spec is out of reach.
