The derivation of mathematical results in specialised fields using Large Language Models
(LLMs) is an emerging research direction that can help identify models' limitations, and …

Suppose an artificial agent a adj, as time unfolds,(i) receives from multiple artificial agents
(which may, in turn, themselves have received from yet other such agents…) propositional …

Formal deductive logic, used to express and reason over declarative, axiomatizable content,
captures, we now know, essentially all of what is known in mathematics and physics, and …

In order for language models to aid physics research, they must first encode representations
of mathematical and natural language discourse which lead to coherent explanations, with …

With your eyes closed, consider numberhood; put another way, consider this question: What
is a number? Presumably if you engage the question in earnest (and if you're not a logician …

Automating the derivation of published results is a challenge, in part due to the informal use
of mathematics by physicists compared to that of mathematicians. Following demand, we …

Although the computational modeling of “mindreading”(eg, believing that you believe that
there'sa deadly boa in the box, Smith mindreadingly predicts that you will refrain from …

The aim of this paper is to present a new logic-based understanding of the connection
between classical kinematics and relativistic kinematics. We show that the axioms of special …

We share herein information about our logicist agent-based approach to economics. This
approach is: rooted in a space (CC) of singularly expressive computational logics (cognitive …

Abstract When IBM's Deep Blue beat Kasparov in 1997, Bringsjord (Technol Rev 101 (2): 23–
28, 1998) complained that despite the impressive engineering that made this victory …