Sign up to save your podcasts
Or
Share Meet Dr Zhe Hou - Applying Logic and Formal Reasoning to Modern Problems
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
Meet Dr Zhe Hou - Applying Logic and Formal Reasoning to Modern Problems
Sometimes modern problems require ancient solutions. Modelling to make sure things actually work as intended, something ChatGPT isn't so good at, and why we need more formal engineers. Interested in more on this topic? Join Zhe's Logic & Automated Reasoning Informal Reading Group! Find out more and RSVP here: https://au.cglink.me/2ip/r41533
Did you enjoy this, or could we do better? Let us know: https://forms.office.com/r/WuuJuMFTvE
View all episodes
By Griffith University School of Information and Communication TechnologySometimes modern problems require ancient solutions. Modelling to make sure things actually work as intended, something ChatGPT isn't so good at, and why we need more formal engineers. Interested in more on this topic? Join Zhe's Logic & Automated Reasoning Informal Reading Group! Find out more and RSVP here: https://au.cglink.me/2ip/r41533
Did you enjoy this, or could we do better? Let us know: https://forms.office.com/r/WuuJuMFTvE