X-CGP-ClamAV-Result: CLEAN
X-VirusScanner: Niversoft's CGPClamav Helper v1.25a (ClamAV 1.1.0/27043)
Return-Path: <cgplmgr@cni.org>
Sender: <cgplmgr@cni.org>
To: CNI-ANNOUNCE
Date: Tue, 26 Sep 2023 21:15:03 -0400
Message-ID: <redirect-41234267@cni.org>
X-Original-Return-Path: <cliff@cni.org>
Received: from [12.86.123.90] (account clifford@cni.org HELO [172.20.40.206])
  by cni.org (CommuniGate Pro SMTP 7.1.4)
  with ESMTPSA id 41234165 for cni-announce@cni.org; Tue, 26 Sep 2023 19:54:26 -0400
X-Original-Date: Tue, 26 Sep 2023 19:54:25 -0400
From: Cliff Lynch <cliff@cni.org>
X-Original-To: cni-announce@cni.org
X-Original-Message-ID: <20230926195425909926.a84600ef@cni.org>
Subject: National Academies Report on Workshop on AI to support Mathematical
 Reasoning
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Mailer: GyazMail version 1.7.1