Labelled Deductive Systems for Logical Validation of LLM Output
**TALK LOGISTICS:** Monday, April 20, 2026 6:30 registration, food, networking. 7:00 SFbayACM upcoming events, introduce the speaker 7:10 to 8:15 or 8:30 presentation The Zoom and YouTube links will be provided here about 2-3 days before the event SFbayACM will support a local audience at VRP in Mountain View **TALK DESCRIPTION:** Large language models (LLMs) […]