Automating discovery in mathematics and science will require sophisticated methods of
information extraction and abstract reasoning, including models that can convincingly …

From the latter half of the last decade, there has been a growing interest in developing
algorithms for automatically solving mathematical word problems (MWP). It is a challenging …

Informal mathematical text underpins real-world quantitative reasoning and communication.
Developing sophisticated methods of retrieval and abstraction from this dual modality is …

Automated mathematical problem-solving represents a unique intersection of natural
language processing (NLP) and mathematical reasoning, posing significant challenges in …

From the latter half of the last decade, there has been a growing interest in developing
algorithms for automatically solving mathematical word problems (MWP). It is a challenging …

Polylogrithmic functions, such as the logarithm or dilogarithm, satisfy a number of algebraic
identities. For the logarithm, all the identities follow from the product rule. For the dilogarithm …

Mixed Boolean‐arithmetic (MBA) expression, which involves both bitwise operations (eg,
NOT, AND, and OR) and arithmetic operations (eg,+,−, and∗), is a software obfuscation …

GNNs are widely used to solve various tasks including node classification and link
prediction. Most of the GNN architectures assume the initial embedding to be random or …

The Mixed Boolean-Arithmetic (MBA) expression has been widely used by attackers as an
effective obfuscation schema to hide malicious code and conceal sensitive data. For …

This research revolves around the exploration of the physics-related mathematical
capabilities of transformer-based language models in tasks related to the classification and …