Pingping Xiu – Medium

Pingping Xiu

Pinned

Pingping Xiu

Responsible AI — Step Zero, Protect our Natural Language Semantics

Abstract

Feb 24, 2023

Responsible AI — Step Zero, Protect our Natural Language Semantics

Feb 24, 2023

Pinned

Pingping Xiu

Integrating ChatGPT with Proof Assistant

Give AI reasoning capability is possible; but we need to understand well where are the pain points.

Feb 2, 2023

Integrating ChatGPT with Proof Assistant

Feb 2, 2023

Pinned

Pingping Xiu

LLM needs Formal Reasoning for a practical, safe use

Formal Reasoning would be essential for integrating a safe and successful LLM. Three potential use cases are discussed.

Jan 19, 2023

LLM needs Formal Reasoning for a practical, safe use

Jan 19, 2023

Pingping Xiu

Revisit “ChatGPT will Change Things” — An Article I Wrote Right after ChatGPT Launch

It is interesting to track ideas over time. I wrote that article in the second week after the ChatGPT launch; still fresh in 2 1/2 months

Feb 23, 2023

Revisit “ChatGPT will Change Things” — An Article I Wrote Right after ChatGPT Launch

Feb 23, 2023

Pingping Xiu

This is a really in-depth exploration of ChatGPT in a technical writing context. RE: S.E. Ireland

Also, in technical writing and a lot of other areas such as Generative Art. It seems the Generative AI-s provide quick and cheap solutions…

Feb 21, 2023

Feb 21, 2023

Pingping Xiu

Upcoming Language Engineering Toolbox for ChatGPT Organizational Governance

We present the outline of a language engineering toolbox for regulating ChatGPT answers for organizations to adopt successfully.

Feb 16, 2023

Upcoming Language Engineering Toolbox for ChatGPT Organizational Governance

Feb 16, 2023

Pingping Xiu

Marry ChatGPT with a Proof Assistant — A Case Study on “Ad Hominem”

A novel method to acquire trusted ChatGPT answers. Unlike existing ChatGPT, users specify a logic structure then progressively fill details

Feb 10, 2023

Marry ChatGPT with a Proof Assistant — A Case Study on “Ad Hominem”

Feb 10, 2023

Pingping Xiu

Engineering your Answer for Exams, using a “Reasonable” GPT

Schools no longer fear ones using ChatGPT to cheat exams; rather, with “Reasonable” GPT, students realize their true potential.

Jan 27, 2023

Engineering your Answer for Exams, using a “Reasonable” GPT

Jan 27, 2023

Pingping Xiu

Pingping Xiu

I am a results-driven leader with profound history of success in leading data science, AI. My strength is Formal Analysis, Computational Linguistics.

Following

Help
Status
About
Careers
Press
Blog
Privacy
Terms
Text to speech
Teams